Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Formula::JunctionData Class Reference
#include <
Formula.hpp
>
Inheritance diagram for Formula::JunctionData:
List of all members.
Public Member Functions
JunctionData
(
Connective
c, const
FormulaList
&lhs)
const
FormulaList
&
args
() const
Protected Attributes
FormulaList
_args
Constructor & Destructor Documentation
Formula::JunctionData::JunctionData
(
Connective
c
,
const
FormulaList
&
lhs
)
[inline]
Member Function Documentation
const
FormulaList
& Formula::JunctionData::args
(
)
const
[inline]
Member Data Documentation
FormulaList
Formula::JunctionData::_args
[protected]
The documentation for this class was generated from the following file:
Formula.hpp
Generated on Sat Jun 28 15:08:58 2003 for Vampire by
1.3.2