Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Formula::UnaryData Class Reference
#include <
Formula.hpp
>
Inheritance diagram for Formula::UnaryData:
List of all members.
Public Member Functions
UnaryData
(
Connective
c, const
Formula
&arg)
const
Formula
&
arg
() const
Protected Attributes
Formula
_arg
Constructor & Destructor Documentation
Formula::UnaryData::UnaryData
(
Connective
c
,
const
Formula
&
arg
)
[inline]
Member Function Documentation
const
Formula
& Formula::UnaryData::arg
(
)
const
[inline]
Member Data Documentation
Formula
Formula::UnaryData::_arg
[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