Inheritance diagram for ct::common::Exp_A_ConstraintCast:

Public Member Functions
	Exp_A_ConstraintCast (void)
	Exp_A_ConstraintCast (const Exp_A_ConstraintCast &from)
Exp_A_ConstraintCast &	operator= (const Exp_A_ConstraintCast &right)
virtual	~Exp_A_ConstraintCast (void)
virtual std::string	get_class_name (void) const
virtual void	dump (std::ostream &os, const std::vector< boost::shared_ptr< ParamSpec > > &param_specs) const
boost::shared_ptr< Constraint >	get_oprd (void) const
void	set_oprd (const boost::shared_ptr< TreeNode > &oprd)
Static Public Member Functions
static std::string	class_name (void)

Detailed Description

The class for arithmetic expressions casted from constraints

Definition at line 24 of file exp_a_constraintcast.h.

Constructor & Destructor Documentation

Exp_A_ConstraintCast::Exp_A_ConstraintCast ( void )

Definition at line 17 of file exp_a_constraintcast.cpp.

Exp_A_ConstraintCast::Exp_A_ConstraintCast ( const Exp_A_ConstraintCast & from )

Definition at line 22 of file exp_a_constraintcast.cpp.

Exp_A_ConstraintCast::~Exp_A_ConstraintCast ( void ) [virtual]

Definition at line 31 of file exp_a_constraintcast.cpp.

std::string Exp_A_ConstraintCast::class_name ( void ) [static]

TODO: replace by typeid

Definition at line 38 of file exp_a_constraintcast.cpp.

void Exp_A_ConstraintCast::dump	(	std::ostream &	os,
		const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs
	)		const `[virtual]`

Print the tree node to a given output stream

Definition at line 56 of file exp_a_constraintcast.cpp.

std::string Exp_A_ConstraintCast::get_class_name ( void ) const [virtual]

TODO: replace by typeid

Definition at line 34 of file exp_a_constraintcast.cpp.

boost::shared_ptr<Constraint> ct::common::Exp_A_ConstraintCast::get_oprd ( void ) const [inline]

Definition at line 36 of file exp_a_constraintcast.h.

Exp_A_ConstraintCast & Exp_A_ConstraintCast::operator= ( const Exp_A_ConstraintCast & right )

Definition at line 26 of file exp_a_constraintcast.cpp.

void ct::common::Exp_A_ConstraintCast::set_oprd ( const boost::shared_ptr< TreeNode > & oprd ) [inline]

Definition at line 37 of file exp_a_constraintcast.h.

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