Inheritance diagram for Inference::DummyQuantifierRemoval:
Public Member Functions | |
DummyQuantifierRemoval (Rule r, const Formula &premise, const Position &p, const VarList &removedVars) | |
const Position & | position () const |
Private Attributes | |
Position | _position |
VarList | _removedVars |
|
|
|
|
|
|
|
|