#include <Formula.hpp>
Inheritance diagram for Formula::BinaryData:

Public Member Functions | |
| BinaryData (Connective c, const Formula &lhs, const Formula &rhs) | |
| const Formula & | left () const |
| const Formula & | right () const |
Protected Attributes | |
| Formula | _lhs |
| Formula | _rhs |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2