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

Public Member Functions | |
| JunctionData (Connective c, const FormulaList &lhs) | |
| const FormulaList & | args () const |
Protected Attributes | |
| FormulaList | _args |
|
||||||||||||
|
|
|
|
|
|
|
|
1.3.2