Inheritance diagram for ETCL_Component_Pos:

Collaboration diagram for ETCL_Component_Pos:

Public Member Functions
	ETCL_Component_Pos (void)
	ETCL_Component_Pos (ETCL_Constraint integer, ETCL_Constraint component)
virtual	~ETCL_Component_Pos (void)
ETCL_Literal_Constraint *	integer (void) const
ETCL_Constraint *	component (void) const
virtual int	accept (ETCL_Constraint_Visitor *visitor)
Private Attributes
ETCL_Literal_Constraint *	integer_
ETCL_Constraint *	component_

Detailed Description

Definition at line 216 of file ETCL_Constraint.h.

Constructor & Destructor Documentation

ETCL_Component_Pos::ETCL_Component_Pos ( void ) [inline]

Definition at line 100 of file ETCL_Constraint.inl.

{}

ETCL_Component_Pos::ETCL_Component_Pos	(	ETCL_Constraint *	integer,
		ETCL_Constraint *	component
	)			`[inline]`

Definition at line 104 of file ETCL_Constraint.inl.

  : component_ (component)
{
  this->integer_ =
    dynamic_cast<ETCL_Literal_Constraint*> (integer);
}

ETCL_Component_Pos::~ETCL_Component_Pos ( void ) [virtual]

Definition at line 506 of file ETCL_Constraint.cpp.

{
  delete this->component_;
  delete this->integer_;
}

int ETCL_Component_Pos::accept ( ETCL_Constraint_Visitor * visitor ) [virtual]

Reimplemented from ETCL_Constraint.

Definition at line 513 of file ETCL_Constraint.cpp.

{
  return visitor->visit_component_pos (this);
}

ETCL_Constraint * ETCL_Component_Pos::component ( void ) const [inline]

Definition at line 121 of file ETCL_Constraint.inl.

{
  return this->component_;
}

ETCL_Literal_Constraint * ETCL_Component_Pos::integer ( void ) const [inline]

Definition at line 115 of file ETCL_Constraint.inl.

{
  return this->integer_;
}

Definition at line 231 of file ETCL_Constraint.h.

Definition at line 230 of file ETCL_Constraint.h.

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