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

Public Member Functions | |
| QuantifiedData (Connective c, const VarList &vs, const Formula &arg) | |
| const Formula & | arg () const |
| const VarList & | vars () const |
Protected Attributes | |
| VarList | _vars |
| Formula | _arg |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2