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 466 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.
Arg *	operator[] (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 BranchingSpec &	operator= (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 794 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 796 of file reflection.cc.

Gecode::Reflection::BranchingSpec::BranchingSpec

(

const BranchingSpec &

s

)

Copy constructor.

Definition at line 800 of file reflection.cc.

Gecode::Reflection::BranchingSpec::~BranchingSpec

(

void

)

Destructor.

Definition at line 831 of file reflection.cc.

---

Member Function Documentation

const BranchingSpec & Gecode::Reflection::BranchingSpec::operator=

(

const BranchingSpec &

s

)

Assignment operator.

Definition at line 806 of file reflection.cc.

bool Gecode::Reflection::BranchingSpec::createdBy

(

const ActorSpec &

b

)

const

Check if specification was created by b.

Definition at line 837 of file reflection.cc.

unsigned int Gecode::Reflection::BranchingSpec::alternatives

(

void

)

const

Return number of alternatives.

Definition at line 844 of file reflection.cc.

Arg * Gecode::Reflection::BranchingSpec::operator[]

(

int

i

)

const

Return specification of alternative i.

Definition at line 818 of file reflection.cc.

Arg *& Gecode::Reflection::BranchingSpec::operator[]

(

int

i

)

Return specification of alternative i.

Definition at line 825 of file reflection.cc.

---

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

• gecode/kernel/reflection.icc (Revision: 7297)
• gecode/kernel/reflection.cc (Revision: 7297)