ct::common::Constraint Class Reference

#include <constraint.h>

Inheritance diagram for ct::common::Constraint:

List of all members.

Public Member Functions
	Constraint (void)
	Constraint (const Constraint &from)
Constraint &	operator= (const Constraint &right)
virtual	~Constraint (void)=0
virtual std::string	get_class_name (void) const
virtual EvalType_Bool	Evaluate (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const Assignment &assignment) const =0
Static Public Member Functions
static std::string	class_name (void)

---

Detailed Description

Base constraint class Only for boolean expressions Actually, a constraint is a boolean-typed expression, but our design seperates constraints from other expressions to eliminate possible ambiguities

Definition at line 34 of file constraint.h.

---

Constructor & Destructor Documentation

Constraint::Constraint

(

void

)

Definition at line 17 of file constraint.cpp.

Constraint::Constraint

(

const Constraint &

from

)

Definition at line 21 of file constraint.cpp.

Constraint::~Constraint

(

void

)

[pure virtual]

Definition at line 30 of file constraint.cpp.

---

Member Function Documentation

std::string Constraint::class_name

(

void

)

[static]

TODO: replace by typeid

Reimplemented from ct::common::TreeNode.

Reimplemented in ct::common::Constraint_L_Atom, ct::common::Constraint_A_Binary, ct::common::Constraint_S_Binary, ct::common::Constraint_L, ct::common::Constraint_L_Binary, ct::common::Constraint_L_IVLD, ct::common::Constraint_L_Param, ct::common::Constraint_L_Unary, ct::common::Constraint_A, 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, ct::common::Constraint_A_NE, ct::common::Constraint_L_And, ct::common::Constraint_L_CBool, ct::common::Constraint_L_Iff, ct::common::Constraint_L_Imply, ct::common::Constraint_L_Not, ct::common::Constraint_L_Or, ct::common::Constraint_L_Xor, ct::common::Constraint_S, ct::common::Constraint_S_EQ, and ct::common::Constraint_S_NE.

Definition at line 37 of file constraint.cpp.

EvalType_Bool Constraint::Evaluate	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const Assignment &	assignment
	)		const [pure virtual]

Whether the constraint is satisfied

Implemented in ct::common::Constraint_A_Binary, ct::common::Constraint_S_Binary, ct::common::Constraint_L_Binary, ct::common::Constraint_L_IVLD, ct::common::Constraint_L_Param, ct::common::Constraint_L_CBool, and ct::common::Constraint_L_Unary.

Definition at line 41 of file constraint.cpp.

std::string Constraint::get_class_name

(

void

)

const [virtual]

TODO: replace by typeid

Reimplemented from ct::common::TreeNode.

Reimplemented in ct::common::Constraint_L_Atom, ct::common::Constraint_A_Binary, ct::common::Constraint_S_Binary, ct::common::Constraint_L, ct::common::Constraint_L_Binary, ct::common::Constraint_L_IVLD, ct::common::Constraint_L_Param, ct::common::Constraint_L_Unary, ct::common::Constraint_A, 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, ct::common::Constraint_A_NE, ct::common::Constraint_L_And, ct::common::Constraint_L_CBool, ct::common::Constraint_L_Iff, ct::common::Constraint_L_Imply, ct::common::Constraint_L_Not, ct::common::Constraint_L_Or, ct::common::Constraint_L_Xor, ct::common::Constraint_S, ct::common::Constraint_S_EQ, and ct::common::Constraint_S_NE.

Definition at line 33 of file constraint.cpp.

Constraint & Constraint::operator=

(

const Constraint &

right

)

Definition at line 25 of file constraint.cpp.

---

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

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