Inheritance diagram for Inference::Flatten:

Public Member Functions | |
| Flatten (Rule r, const Formula &premise, const Position &p, int subformulaIndex) | |
| const Position & | position () const |
Private Attributes | |
| Position | _position |
| int | _subformulaIndex |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1.3.2