ct::common::Constraint_L_Xor Class Reference

#include <constraint_l_xor.h>

Inheritance diagram for ct::common::Constraint_L_Xor:

List of all members.

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

---

Detailed Description

The class for logical constraint "^^"(XOR)

Definition at line 24 of file constraint_l_xor.h.

---

Constructor & Destructor Documentation

Constraint_L_Xor::Constraint_L_Xor

(

void

)

Definition at line 17 of file constraint_l_xor.cpp.

Constraint_L_Xor::Constraint_L_Xor

(

const Constraint_L_Xor &

from

)

Definition at line 21 of file constraint_l_xor.cpp.

Constraint_L_Xor::~Constraint_L_Xor

(

void

)

[virtual]

Definition at line 31 of file constraint_l_xor.cpp.

---

Member Function Documentation

std::string Constraint_L_Xor::class_name

(

void

)

[static]

TODO: replace by typeid

Reimplemented from ct::common::Constraint_L_Binary.

Definition at line 38 of file constraint_l_xor.cpp.

std::string Constraint_L_Xor::get_class_name

(

void

)

const [virtual]

TODO: replace by typeid

Reimplemented from ct::common::Constraint_L_Binary.

Definition at line 34 of file constraint_l_xor.cpp.

std::string Constraint_L_Xor::get_op_token

(

void

)

const [virtual]

Get the corresponding string token

Implements ct::common::Constraint_L_Binary.

Definition at line 51 of file constraint_l_xor.cpp.

Constraint_L_Xor & Constraint_L_Xor::operator=

(

const Constraint_L_Xor &

right

)

Definition at line 25 of file constraint_l_xor.cpp.

---

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

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