, 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] |
