CVC3::TheoryArithOld::DifferenceLogicGraph::EdgeInfo Struct Reference

#include <theory_arith_old.h>

List of all members.

Public Member Functions

Public Attributes


Detailed Description

Definition at line 710 of file theory_arith_old.h.


Constructor & Destructor Documentation

CVC3::TheoryArithOld::DifferenceLogicGraph::EdgeInfo::EdgeInfo (  )  [inline]

Definition at line 723 of file theory_arith_old.h.


Member Function Documentation

bool CVC3::TheoryArithOld::DifferenceLogicGraph::EdgeInfo::isDefined (  )  const [inline]

Member Data Documentation

If this is a summary edge, a vertex in the path

Definition at line 716 of file theory_arith_old.h.

Referenced by CVC3::TheoryArithOld::DifferenceLogicGraph::getEdgeTheorems(), and CVC3::TheoryArithOld::DifferenceLogicGraph::tryUpdate().

If this is an original edge, the theorem that explains it

Definition at line 718 of file theory_arith_old.h.

Referenced by CVC3::TheoryArithOld::DifferenceLogicGraph::addEdge(), and CVC3::TheoryArithOld::DifferenceLogicGraph::getEdgeTheorems().


The documentation for this struct was generated from the following file:

Generated on 4 Mar 2010 for CVC3 by  doxygen 1.6.1