ct::common::Constraint_A Class Reference

#include <constraint_a.h>

Inheritance diagram for ct::common::Constraint_A:

List of all members.

Public Member Functions
	Constraint_A (void)
	Constraint_A (const Constraint_A &from)
Constraint_A &	operator= (const Constraint_A &right)
virtual	~Constraint_A (void)
virtual std::string	get_class_name (void) const
Static Public Member Functions
static std::string	class_name (void)

---

Detailed Description

Base class for arithmetic constraints

Definition at line 24 of file constraint_a.h.

---

Constructor & Destructor Documentation

Constraint_A::Constraint_A

(

void

)

Definition at line 17 of file constraint_a.cpp.

Constraint_A::Constraint_A

(

const Constraint_A &

from

)

Definition at line 21 of file constraint_a.cpp.

Constraint_A::~Constraint_A

(

void

)

[virtual]

Definition at line 30 of file constraint_a.cpp.

---

Member Function Documentation

std::string Constraint_A::class_name

(

void

)

[static]

TODO: replace by typeid

Reimplemented from ct::common::Constraint.

Reimplemented in ct::common::Constraint_A_Binary, ct::common::Constraint_A_EQ, ct::common::Constraint_A_GE, ct::common::Constraint_A_GT, ct::common::Constraint_A_LE, ct::common::Constraint_A_LT, and ct::common::Constraint_A_NE.

Definition at line 37 of file constraint_a.cpp.

std::string Constraint_A::get_class_name

(

void

)

const [virtual]

TODO: replace by typeid

Reimplemented from ct::common::Constraint.

Reimplemented in ct::common::Constraint_A_Binary, ct::common::Constraint_A_EQ, ct::common::Constraint_A_GE, ct::common::Constraint_A_GT, ct::common::Constraint_A_LE, ct::common::Constraint_A_LT, and ct::common::Constraint_A_NE.

Definition at line 33 of file constraint_a.cpp.

Constraint_A & Constraint_A::operator=

(

const Constraint_A &

right

)

Definition at line 25 of file constraint_a.cpp.

---

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

• src/ct_common/common/constraint_a.h
• src/ct_common/common/constraint_a.cpp