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