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

Refutation Class Reference

#include <Refutation.hpp>

List of all members.

Public Member Functions

 Refutation (const VampireKernel &kernel, const Problem &problem)
Unit condense () const
const VampireKernelkernel () const
const Problemproblem () const

Private Member Functions

Unit collect (const VampireKernel::Clause *, Map &map)
UnitList collect (const VampireKernel::Clause::Ancestor *ancestors, Map &map)
Unit condense (Unit root, Map &condenced) const
UnitList condense (UnitList units, Map &condensed) const

Private Attributes

const VampireKernel_kernel
const Problem_problem
Unit _goal


Constructor & Destructor Documentation

Refutation::Refutation const VampireKernel kernel,
const Problem problem
 


Member Function Documentation

UnitList Refutation::collect const VampireKernel::Clause::Ancestor ancestors,
Map map
[private]
 

Unit Refutation::collect const VampireKernel::Clause ,
Map map
[private]
 

UnitList Refutation::condense UnitList  units,
Map condensed
const [private]
 

Unit Refutation::condense Unit  root,
Map condenced
const [private]
 

Unit Refutation::condense  )  const
 

const VampireKernel & Refutation::kernel  )  const [inline]
 

const Problem & Refutation::problem  )  const [inline]
 


Member Data Documentation

Unit Refutation::_goal [private]
 

const VampireKernel& Refutation::_kernel [private]
 

const Problem& Refutation::_problem [private]
 


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