Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Inference::Flatten Class Reference
Inheritance diagram for Inference::Flatten:
List of all members.
Public Member Functions
Flatten
(
Rule
r, const
Formula
&premise, const
Position
&p, int subformulaIndex)
const
Position
&
position
() const
Private Attributes
Position
_position
int
_subformulaIndex
Constructor & Destructor Documentation
Inference::Flatten::Flatten
(
Rule
r
,
const
Formula
&
premise
,
const
Position
&
p
,
int
subformulaIndex
)
Member Function Documentation
const
Position
& Inference::Flatten::position
(
)
const
Member Data Documentation
Position
Inference::Flatten::_position
[private]
int
Inference::Flatten::_subformulaIndex
[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