IntArithLogicalFact Class Reference

Description

Definition at line 441 of file intArithLogical.h.

Inheritance diagram for IntArithLogicalFact:

Collaboration diagram for IntArithLogicalFact:

Public Member Functions
	IntArithLogicalFact (const IntArithLogical &expr)
	IntArithLogicalFact (const IntArithLogicalFact &that)
NodeFact *	copy () const
std::string	str (std::string indent="")

Public Attributes
IntArithLogical	expr

Constructor & Destructor Documentation

IntArithLogicalFact() [1/3]

IntArithLogicalFact::IntArithLogicalFact ( )

inline

Definition at line 446 of file intArithLogical.h.

IntArithLogicalFact() [2/3]

IntArithLogicalFact::IntArithLogicalFact ( const IntArithLogical &  expr )

inline

Definition at line 449 of file intArithLogical.h.

IntArithLogicalFact() [3/3]

IntArithLogicalFact::IntArithLogicalFact ( const IntArithLogicalFact &  that )

inline

Definition at line 452 of file intArithLogical.h.

Member Function Documentation

copy()

NodeFact * IntArithLogicalFact::copy ( ) const

virtual

Implements NodeFact.

str()

std::string IntArithLogicalFact::str ( std::string  indent = "" )

virtual

Implements printable.

Member Data Documentation

expr

IntArithLogical IntArithLogicalFact::expr

Definition at line 444 of file intArithLogical.h.

---

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

• intArithLogical.h