ct::common::Constraint_L_Param Class Reference

#include <constraint_l_param.h>

Inheritance diagram for ct::common::Constraint_L_Param:

List of all members.

Public Member Functions
	Constraint_L_Param (void)
	Constraint_L_Param (const Constraint_L_Param &from)
virtual	~Constraint_L_Param (void)
Constraint_L_Param &	operator= (const Constraint_L_Param &right)
virtual std::string	get_class_name (void) const
virtual void	dump (std::ostream &os, const std::vector< boost::shared_ptr< ParamSpec > > &param_specs) const
void	set_pid (std::size_t pid)
std::size_t	get_pid (void) const
virtual void	inner_touch_leaf_pids (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, std::set< std::size_t > &pids_to_touch) const
virtual EvalType_Bool	Evaluate (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const Assignment &assignment) const
Static Public Member Functions
static std::string	class_name (void)

---

Detailed Description

The class for parameter logical constraints, which is atomic

Definition at line 24 of file constraint_l_param.h.

---

Constructor & Destructor Documentation

Constraint_L_Param::Constraint_L_Param

(

void

)

Definition at line 18 of file constraint_l_param.cpp.

Constraint_L_Param::Constraint_L_Param

(

const Constraint_L_Param &

from

)

Definition at line 22 of file constraint_l_param.cpp.

Constraint_L_Param::~Constraint_L_Param

(

void

)

[virtual]

Definition at line 26 of file constraint_l_param.cpp.

---

Member Function Documentation

std::string Constraint_L_Param::class_name

(

void

)

[static]

TODO: replace by typeid

Reimplemented from ct::common::Constraint_L_Atom.

Definition at line 39 of file constraint_l_param.cpp.

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

Print the tree node to a given output stream

Implements ct::common::TreeNode.

Definition at line 98 of file constraint_l_param.cpp.

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

Whether the constraint is satisfied

Implements ct::common::Constraint.

Definition at line 43 of file constraint_l_param.cpp.

std::string Constraint_L_Param::get_class_name

(

void

)

const [virtual]

TODO: replace by typeid

Reimplemented from ct::common::Constraint_L_Atom.

Definition at line 35 of file constraint_l_param.cpp.

std::size_t ct::common::Constraint_L_Param::get_pid

(

void

)

const [inline]

Definition at line 37 of file constraint_l_param.h.

void Constraint_L_Param::inner_touch_leaf_pids	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		std::set< std::size_t > &	pids_to_touch
	)		const [virtual]

Inner function to get all related parameters

Reimplemented from ct::common::TreeNode.

Definition at line 85 of file constraint_l_param.cpp.

Constraint_L_Param & Constraint_L_Param::operator=

(

const Constraint_L_Param &

right

)

Definition at line 29 of file constraint_l_param.cpp.

void ct::common::Constraint_L_Param::set_pid

(

std::size_t

pid

)

[inline]

Definition at line 36 of file constraint_l_param.h.

---

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

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