Inheritance diagram for Inference::Type1:

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