CVC3::TheoryArithOld::TheoryArithOld::GraphEdge Struct Reference

Collaboration diagram for CVC3::TheoryArithOld::TheoryArithOld::GraphEdge:

[legend]

List of all members.

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::TheoryArithOld::GraphEdge::x

Definition at line 427 of file theory_arith_old.h.

Expr CVC3::TheoryArithOld::TheoryArithOld::GraphEdge::y

Definition at line 428 of file theory_arith_old.h.

Rational CVC3::TheoryArithOld::TheoryArithOld::GraphEdge::c

Definition at line 429 of file theory_arith_old.h.

---

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

• theory_arith_old.h