Gecode::FlatZinc::FlatZincSpace Member List

This is the complete list of members for Gecode::FlatZinc::FlatZincSpace, including all inherited members.

_initData | Gecode::FlatZinc::FlatZincSpace | protected
_lns | Gecode::FlatZinc::FlatZincSpace | protected
_lnsInitialSolution | Gecode::FlatZinc::FlatZincSpace | protected
_method | Gecode::FlatZinc::FlatZincSpace | protected
_optVar | Gecode::FlatZinc::FlatZincSpace | protected
_optVarIsInt | Gecode::FlatZinc::FlatZincSpace | protected
_random | Gecode::FlatZinc::FlatZincSpace | protected
_solveAnnotations | Gecode::FlatZinc::FlatZincSpace | protected
active | Gecode::Space |
afc_decay(double d) | Gecode::Space | inline
afc_decay(void) const | Gecode::Space | inline
afc_unshare(void) | Gecode::Space |
aliasBool2Int(int iv, int bv) | Gecode::FlatZinc::FlatZincSpace |
aliasBool2Int(int iv) | Gecode::FlatZinc::FlatZincSpace |
alloc(long unsigned int n) | Gecode::Space | inline
alloc(long int n) | Gecode::Space | inline
alloc(unsigned int n) | Gecode::Space | inline
alloc(int n) | Gecode::Space | inline
ann2ipl(AST::Node *ann) | Gecode::FlatZinc::FlatZincSpace |
arg2boolargs(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2boolsharedarray(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2BoolVar(AST::Node *n) | Gecode::FlatZinc::FlatZincSpace |
arg2boolvarargs(AST::Node *arg, int offset=0, int siv=-1) | Gecode::FlatZinc::FlatZincSpace |
arg2floatargs(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2FloatVar(AST::Node *n) | Gecode::FlatZinc::FlatZincSpace |
arg2floatvarargs(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2intargs(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2intset(AST::Node *n) | Gecode::FlatZinc::FlatZincSpace |
arg2intsetargs(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2intsharedarray(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2IntVar(AST::Node *n) | Gecode::FlatZinc::FlatZincSpace |
arg2intvarargs(AST::Node *arg, int offset=0) | Gecode::FlatZinc::FlatZincSpace |
arg2SetVar(AST::Node *n) | Gecode::FlatZinc::FlatZincSpace |
arg2setvarargs(AST::Node *arg, int offset=0, int doffset=0, const IntSet &od=IntSet::empty) | Gecode::FlatZinc::FlatZincSpace |
arg2tupleset(const IntArgs &a, int noOfVars) | Gecode::FlatZinc::FlatZincSpace |
bid_sc | Gecode::Space |
boolVarCount | Gecode::FlatZinc::FlatZincSpace | protected
branchInfo | Gecode::FlatZinc::FlatZincSpace |
bv | Gecode::FlatZinc::FlatZincSpace |
bv_aux | Gecode::FlatZinc::FlatZincSpace |
bv_introduced | Gecode::FlatZinc::FlatZincSpace |
c | Gecode::Space |
choice(void) | Gecode::Space |
choice(Archive &e) const | Gecode::Space |
clone(CloneStatistics &stat=unused_clone) const | Gecode::Space | inline
commit(const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit) | Gecode::Space | inline
compare(const Space &s, std::ostream &out) const | Gecode::FlatZinc::FlatZincSpace |
compare(const FlatZincSpace &s, std::ostream &out, const Printer &p) const | Gecode::FlatZinc::FlatZincSpace |
constrain(const Space &s) | Gecode::FlatZinc::FlatZincSpace | virtual
construct(void) | Gecode::Space | inline
construct(A1 const &a1) | Gecode::Space | inline
construct(A1 const &a1, A2 const &a2) | Gecode::Space | inline
construct(A1 const &a1, A2 const &a2, A3 const &a3) | Gecode::Space | inline
construct(A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4) | Gecode::Space | inline
construct(A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4, A5 const &a5) | Gecode::Space | inline
copy(void) | Gecode::FlatZinc::FlatZincSpace | virtual
createBranchers(Printer &p, AST::Node *ann, FlatZincOptions &opt, bool ignoreUnknown, std::ostream &err=std::cerr) | Gecode::FlatZinc::FlatZincSpace |
ES_FIX_DISPOSE(Council< A > &c, A &a) | Gecode::Space | inline
ES_FIX_PARTIAL(Propagator &p, const ModEventDelta &med) | Gecode::Space | inline
ES_NOFIX_DISPOSE(Council< A > &c, A &a) | Gecode::Space | inline
ES_NOFIX_DISPOSE_FORCE(Council< A > &c, A &a) | Gecode::Space | inline
ES_NOFIX_PARTIAL(Propagator &p, const ModEventDelta &med) | Gecode::Space | inline
ES_SUBSUMED(Propagator &p) | Gecode::Space | inline
ES_SUBSUMED_DISPOSED(Propagator &p, size_t s) | Gecode::Space | inline
fail(void) | Gecode::Space | inline
failed(void) const | Gecode::Space | inline
fl_alloc(void) | Gecode::Space | inline
fl_dispose(FreeList *f, FreeList *l) | Gecode::Space | inline
FlatZincSpace(FlatZincSpace &) | Gecode::FlatZinc::FlatZincSpace | protected
FlatZincSpace(Rnd &random=defrnd) | Gecode::FlatZinc::FlatZincSpace |
floatVarCount | Gecode::FlatZinc::FlatZincSpace | protected
free(T *b, long unsigned int n) | Gecode::Space | inline
free(T *b, long int n) | Gecode::Space | inline
free(T *b, unsigned int n) | Gecode::Space | inline
free(T *b, int n) | Gecode::Space | inline
fv | Gecode::FlatZinc::FlatZincSpace |
fv_aux | Gecode::FlatZinc::FlatZincSpace |
fv_introduced | Gecode::FlatZinc::FlatZincSpace |
getDomains(const Printer &p) const | Gecode::FlatZinc::FlatZincSpace |
getSharedDFA(DFA &a) | Gecode::FlatZinc::FlatZincSpace |
ignore(Actor &a, ActorProperty p, bool duplicate=false) | Gecode::Space | inline
init(int intVars, int boolVars, int setVars, int floatVars) | Gecode::FlatZinc::FlatZincSpace |
intVarCount | Gecode::FlatZinc::FlatZincSpace | protected
isBoolArray(AST::Node *b, int &singleInt) | Gecode::FlatZinc::FlatZincSpace |
iv | Gecode::FlatZinc::FlatZincSpace |
iv_aux | Gecode::FlatZinc::FlatZincSpace |
iv_boolalias | Gecode::FlatZinc::FlatZincSpace |
iv_introduced | Gecode::FlatZinc::FlatZincSpace |
iv_lns | Gecode::FlatZinc::FlatZincSpace |
local | Gecode::Space |
master(const MetaInfo &mi) | Gecode::Space | virtual
MAX enum value | Gecode::FlatZinc::FlatZincSpace |
maximize(int var, bool isInt, AST::Array *annotation) | Gecode::FlatZinc::FlatZincSpace |
Meth enum name | Gecode::FlatZinc::FlatZincSpace |
method(void) const | Gecode::FlatZinc::FlatZincSpace |
MIN enum value | Gecode::FlatZinc::FlatZincSpace |
minimize(int var, bool isInt, AST::Array *annotation) | Gecode::FlatZinc::FlatZincSpace |
n_sub | Gecode::Space |
needAuxVars | Gecode::FlatZinc::FlatZincSpace |
newBoolVar(BoolVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace |
newFloatVar(FloatVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace |
newIntVar(IntVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace |
newSetVar(SetVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace |
ngl(const Choice &c, unsigned int a) | Gecode::Space |
notice(Actor &a, ActorProperty p, bool duplicate=false) | Gecode::Space | inline
operator delete(void *p) | Gecode::HeapAllocated | inline static
operator new(size_t s) | Gecode::HeapAllocated | inline static
operator()(Propagator &p) | Gecode::Space | inline
operator()(PropagatorGroup pg) | Gecode::Space | inline
operator()(BrancherGroup bg) | Gecode::Space | inline
optVar(void) const | Gecode::FlatZinc::FlatZincSpace |
optVarIsInt(void) const | Gecode::FlatZinc::FlatZincSpace |
p | Gecode::Space |
postConstraints(std::vector< ConExpr * > &ces) | Gecode::FlatZinc::FlatZincSpace |
print(std::ostream &out, const Printer &p) const | Gecode::FlatZinc::FlatZincSpace |
Gecode::Space::print(const Choice &c, unsigned int a, std::ostream &o) const | Gecode::Space |
queue | Gecode::Space |
ralloc(size_t s) | Gecode::Space | inline
realloc(T *b, long unsigned int n, long unsigned int m) | Gecode::Space | inline
realloc(T *b, long int n, long int m) | Gecode::Space | inline
realloc(T *b, unsigned int n, unsigned int m) | Gecode::Space | inline
realloc(T *b, int n, int m) | Gecode::Space | inline
realloc(T **b, long unsigned int n, long unsigned int m) | Gecode::Space | inline
realloc(T **b, long int n, long int m) | Gecode::Space | inline
realloc(T **b, unsigned int n, unsigned int m) | Gecode::Space | inline
realloc(T **b, int n, int m) | Gecode::Space | inline
rfree(void *p, size_t s) | Gecode::Space | inline
rrealloc(void *b, size_t n, size_t m) | Gecode::Space | inline
run(std::ostream &out, const Printer &p, const FlatZincOptions &opt, Gecode::Support::Timer &t_total) | Gecode::FlatZinc::FlatZincSpace |
SAT enum value | Gecode::FlatZinc::FlatZincSpace |
setVarCount | Gecode::FlatZinc::FlatZincSpace | protected
shrinkArrays(Printer &p) | Gecode::FlatZinc::FlatZincSpace |
slave(const MetaInfo &mi) | Gecode::FlatZinc::FlatZincSpace | virtual
solve(AST::Array *annotation) | Gecode::FlatZinc::FlatZincSpace |
solveAnnotations(void) const | Gecode::FlatZinc::FlatZincSpace |
Space(void) | Gecode::Space |
Space(Space &s) | Gecode::Space |
stable(void) const | Gecode::Space | inline
status(StatusStatistics &stat=unused_status) | Gecode::Space |
step | Gecode::FlatZinc::FlatZincSpace |
sv | Gecode::FlatZinc::FlatZincSpace |
sv_aux | Gecode::FlatZinc::FlatZincSpace |
sv_introduced | Gecode::FlatZinc::FlatZincSpace |
trycommit(const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit) | Gecode::Space | inline
vars_noidx | Gecode::Space |
vars_u | Gecode::Space |
vti | Gecode::Space |
~FlatZincSpace(void) | Gecode::FlatZinc::FlatZincSpace |
~Space(void) | Gecode::Space | virtual