Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Literal::Data Member List

This is the complete list of members for Literal::Data, including all inherited members.
_atomLiteral::Data [protected]
_counterLiteral::Data [protected]
_signLiteral::Data [protected]
atom() constLiteral::Data [inline]
Data()Literal::Data
Data(bool sign, const Atom &atom)Literal::Data [inline]
deref()Literal::Data [inline]
negative() constLiteral::Data
positive() constLiteral::Data
ref()Literal::Data [inline]
sign() constLiteral::Data [inline]

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2