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