Constraint Satisfaction Problem
![]() | ConstraintS The storage for a constraint between two variables. |
![]() | ConstraintT The type for a constraint between two variables |
![]() | AddConflict ( VariableT const iVariable1, VariableT const iVariable2, ValueT const iValue1, ValueT const iValue2 ) Adding conflicts |
![]() | AddConstraint ( VariableT const iVariable1, VariableT const iVariable2 ) Adding constraints |
![]() | CspC ( const CspC & iCsp ) Copy constructor |
![]() | CspC ( NumberOfVariablesT const iNumberOfVariables ) Constructor |
![]() | GetDomainSize ( VariableT const iVariable ) Getting the domainsize |
![]() | GetNumberOfConflicts ( ValueT const iSolution [] ) Getting the number of conflicts |
![]() | GetNumberOfConstraints ( ) Getting the number of constraints |
![]() | GetNumberOfVariables () Getting the number of variables |
![]() | IsConflict ( VariableT const iVariable1, VariableT const iVariable2, ValueT const iValue1, ValueT const iValue2 ) Testing conflicts |
![]() | IsConstraint ( VariableT const iVariable1, VariableT const iVariable2 ) Testing constraints |
![]() | IsDirty () Testing dirty |
![]() | IsValid ( ValueT const iSolution [] ) Checking for valid solutions |
![]() | LoadFromFile ( char const * iFilename ) Loading a CSP |
![]() | operator=
( const CspC & iCsp ) Operator = |
![]() | ProduceFileName ( char * FileName ) Virtual member-function |
![]() | ProduceProblem () Virtual member-function |
![]() | RemoveConflict ( VariableT const iVariable1, VariableT const iVariable2, ValueT const iValue1, ValueT const iValue2 ) Removing conflicts |
![]() | RemoveConstraint ( VariableT const iVariable1, VariableT const iVariable2 ) Removing constraints |
![]() | Reset () Resetting the CSP |
![]() | SaveToFile ( char const * const iFilename ) Saving a CSP |
![]() | SetDomainSize ( VariableT const iVariable, DomainSizeT const iDomainSize ) Setting the domainsize |
![]() | ~CspC () Destructor |
![]() | ConstraintS The storage for a constraint between two variables. |
![]() | GetConstraint ( VariableT const iVariable1, VariableT const iVariable2 ) Getting constraints |
![]() | Copy ( CspC const & iCsp ) Copying a CSP |
![]() | Create ( NumberOfVariablesT const iNumberOfVariables ) Creating a CSP problem |
![]() | Destroy () Destroying the CSP |
![]() | IsValidParameter ( VariableT const iVariable, ValueT const iValue ) Testing values |
![]() | IsValidParameter ( VariableT const iVariable ) Testing variables |
![]() | Swap ( VariableT & iVariable1, VariableT & iVariable2 ) Swap function |
A base class for implementing Binary ConstrainS Satisfaction Problems.
typedef ConstraintS* ConstraintT
CspC( NumberOfVariablesT const iNumberOfVariables )
CspC( const CspC & iCsp )
CspC const& operator=
( const CspC & iCsp )
virtual ~CspC()
NumberOfVariablesT const GetNumberOfVariables()
DomainSizeT const GetDomainSize( VariableT const iVariable )
void const SetDomainSize( VariableT const iVariable, DomainSizeT const iDomainSize )
iDomainSize - size of the domain of iVariable.
bool const IsValid( ValueT const iSolution [] )
int const GetNumberOfConflicts( ValueT const iSolution [] )
unsigned int const GetNumberOfConstraints( )
void const AddConstraint( VariableT const iVariable1, VariableT const iVariable2 )
iVariable2 - another variable.
void const RemoveConstraint( VariableT const iVariable1, VariableT const iVariable2 )
iVariable2 - another variable.
bool const IsConstraint( VariableT const iVariable1, VariableT const iVariable2 )
iVariable2 - another variable.
void const AddConflict( VariableT const iVariable1, VariableT const iVariable2, ValueT const iValue1, ValueT const iValue2 )
iVariable2 - another variable.
iValue1 - value of first variable.
iValue2 - value of the second variable.
void const RemoveConflict( VariableT const iVariable1, VariableT const iVariable2, ValueT const iValue1, ValueT const iValue2 )
iVariable2 - another variable.
iValue1 - value of first variable.
iValue2 - value of the second variable.
bool const IsConflict( VariableT const iVariable1, VariableT const iVariable2, ValueT const iValue1, ValueT const iValue2 )
iVariable2 - another variable.
iValue1 - value of first variable.
iValue2 - value of the second variable.
bool const SaveToFile( char const * const iFilename )
bool const LoadFromFile( char const * iFilename )
bool const IsDirty()
void const Reset()
virtual void const ProduceProblem()
virtual void ProduceFileName( char * FileName )
ConstraintT const GetConstraint( VariableT const iVariable1, VariableT const iVariable2 )
iVariable2 - another variable.
bool const IsValidParameter( VariableT const iVariable )
bool const IsValidParameter( VariableT const iVariable, ValueT const iValue )
iValue - value of the variable.
void const Create( NumberOfVariablesT const iNumberOfVariables )
void const Destroy()
void const Copy( CspC const & iCsp )
void const Swap( VariableT & iVariable1, VariableT & iVariable2 )
iVariable2 - Second parameter.
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de