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