Inheritance diagram for Inference::ForallOrMiniscope:

Public Member Functions | |
| ForallOrMiniscope (Rule r, const Formula &premise, const Position &p, IntList toppledVarPositions, IntList toppledSubformulaPositions, int toppledSubformulaIndex) | |
| const Position & | position () const |
Private Attributes | |
| Position | _position |
| IntList | _toppledVarPositions |
| IntList | _toppledSubformulaPositions |
| int | toppledSubformulaIndex |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2