#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 |
|
|
|
|
|
|
|
|
|
|