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

ClauseList Class Reference

#include <Clause.hpp>

Inheritance diagram for ClauseList:

Lst< Clause > List of all members.

Public Member Functions

 ClauseList ()
 ClauseList (const ClauseList &)
 ClauseList (const Clause &t)
 ClauseList (const Clause &head, const ClauseList &tail)
 ClauseList (LstData< Clause > *)
const LiteralListliterals ()
const ClauseListtail () const

Constructor & Destructor Documentation

ClauseList::ClauseList  )  [inline]
 

ClauseList::ClauseList const ClauseList  )  [inline]
 

ClauseList::ClauseList const Clause t  )  [inline, explicit]
 

ClauseList::ClauseList const Clause head,
const ClauseList tail
[inline]
 

ClauseList::ClauseList LstData< Clause > *   )  [inline, explicit]
 


Member Function Documentation

const LiteralList& ClauseList::literals  ) 
 

const ClauseList& ClauseList::tail  )  const [inline]
 

Reimplemented from Lst< Clause >.


The documentation for this class was generated from the following file:
Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2