Collaboration diagram for CVC3::TheoryArithOld::GraphEdge:
Public Attributes | |
| Expr | x |
| Expr | y |
| Rational | c |
Detailed Description
Definition at line 426 of file theory_arith_old.h.
Member Data Documentation
| Expr CVC3::TheoryArithOld::GraphEdge::x |
Definition at line 427 of file theory_arith_old.h.
| Expr CVC3::TheoryArithOld::GraphEdge::y |
Definition at line 428 of file theory_arith_old.h.
| Rational CVC3::TheoryArithOld::GraphEdge::c |
Definition at line 429 of file theory_arith_old.h.
The documentation for this struct was generated from the following file:
