Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Inference::Type1 Class Reference
Inheritance diagram for Inference::Type1:
List of all members.
Public Member Functions
Type1
(
Rule
r, const
Formula
&premise, const
Position
&p)
const
Position
&
position
() const
Private Attributes
Position
_position
Constructor & Destructor Documentation
Inference::Type1::Type1
(
Rule
r
,
const
Formula
&
premise
,
const
Position
&
p
)
Member Function Documentation
const
Position
& Inference::Type1::position
(
)
const
Member Data Documentation
Position
Inference::Type1::_position
[private]
The documentation for this class was generated from the following file:
Inference.cpp
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2