#include <formula.h>
Inheritance diagram for Or:
Public Types | |
typedef std::vector< Formula * > | V1type |
Public Methods | |
DEFINE_VISITABLE () | |
Or (std::vector< Formula * > c1) | |
Public Attributes | |
std::vector< Formula * > | v1 |
|
|
|
|
|
|
|
Definition at line 68 of file formula.h. Referenced by Formula_basic_visitor::visit(). |