DEFINE_VISITABLE() | Or | |
Or(std::vector< Formula * > c1) | Or | [inline, explicit] |
v1 | Or | |
V1type typedef | Or | |
vec(Formula *f1=0, Formula *f2=0, Formula *f3=0, Formula *f4=0, Formula *f5=0, Formula *f6=0) | Formula | [static] |
~Formula() | Formula | [inline, virtual] |