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

Public Member Functions | |
| UnaryData (Connective c, const Formula &arg) | |
| const Formula & | arg () const |
Protected Attributes | |
| Formula | _arg |
|
||||||||||||
|
|
|
|
|
|
|
|
1.3.2