Generated on Mon May 5 05:54:16 2008 for Gecode by doxygen 1.5.5

Gecode::Reflection::BranchingSpec Class Reference
[Reflection API]

List of all members.


Detailed Description

Branching specification

A BranchingSpec contains information about the alternatives of a Space. It is similar to a BranchingDesc, but not opaque: you can query the information.

The specification for an alternative is an ArrayArg that may contain strings and references to variables. The concatenation of the strings and variables is a human-readable description of what constraints are posted for the given alternative.

Definition at line 464 of file reflection.icc.


Branching information

bool createdBy (const ActorSpec &b) const
 Check if specification was created by b.
unsigned int alternatives (void) const
 Return number of alternatives.
Argoperator[] (int i) const
 Return specification of alternative i.
Arg *& operator[] (int i)
 Return specification of alternative i.

Public Member Functions

 BranchingSpec (void)
 Default constructor.
 BranchingSpec (const BranchingDesc *d)
 Construct spec for branching description d.
 BranchingSpec (const BranchingSpec &s)
 Copy constructor.
const BranchingSpecoperator= (const BranchingSpec &s)
 Assignment operator.
 ~BranchingSpec (void)
 Destructor.

Classes

class  Arguments
 Implementation of a BranchingSpec. More...

Constructor & Destructor Documentation

Gecode::Reflection::BranchingSpec::BranchingSpec ( void   ) 

Default constructor.

Definition at line 764 of file reflection.cc.

Gecode::Reflection::BranchingSpec::BranchingSpec ( const BranchingDesc d  ) 

Construct spec for branching description d.

This constructor is used by a Branching to create a BranchingSpec. As a user of the reflection API, you have to query use the function Gecode::Space::branchingSpec instead.

Definition at line 766 of file reflection.cc.

Gecode::Reflection::BranchingSpec::BranchingSpec ( const BranchingSpec s  ) 

Copy constructor.

Definition at line 770 of file reflection.cc.

Gecode::Reflection::BranchingSpec::~BranchingSpec ( void   ) 

Destructor.

Definition at line 801 of file reflection.cc.


Member Function Documentation

const BranchingSpec & Gecode::Reflection::BranchingSpec::operator= ( const BranchingSpec s  ) 

Assignment operator.

Definition at line 776 of file reflection.cc.

bool Gecode::Reflection::BranchingSpec::createdBy ( const ActorSpec b  )  const

Check if specification was created by b.

Definition at line 807 of file reflection.cc.

unsigned int Gecode::Reflection::BranchingSpec::alternatives ( void   )  const

Return number of alternatives.

Definition at line 814 of file reflection.cc.

Arg * Gecode::Reflection::BranchingSpec::operator[] ( int  i  )  const

Return specification of alternative i.

Definition at line 788 of file reflection.cc.

Arg *& Gecode::Reflection::BranchingSpec::operator[] ( int  i  ) 

Return specification of alternative i.

Definition at line 795 of file reflection.cc.


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