, including all inherited members.
| _method | Gecode::FlatZinc::FlatZincSpace | [protected] |
| _optVar | Gecode::FlatZinc::FlatZincSpace | [protected] |
| _solveAnnotations | Gecode::FlatZinc::FlatZincSpace | [protected] |
| active | 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] |
| allocated(void) const | Gecode::Space | [inline] |
| boolVarCount | Gecode::FlatZinc::FlatZincSpace | [protected] |
| branch_id | Gecode::Space | |
| branchers(void) const | Gecode::Space | |
| bv | Gecode::FlatZinc::FlatZincSpace | |
| bv_introduced | Gecode::FlatZinc::FlatZincSpace | |
| c | Gecode::Space | |
| choice(void) | Gecode::Space | |
| choice(Archive &e) const | Gecode::Space | |
| clone(bool share=true, CloneStatistics &stat=unused_clone) const | Gecode::Space | [inline] |
| commit(const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit) | Gecode::Space | [inline] |
| 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(bool share) | Gecode::FlatZinc::FlatZincSpace | [virtual] |
| createBranchers(AST::Node *ann, int seed, 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(bool share, FlatZincSpace &) | Gecode::FlatZinc::FlatZincSpace | [protected] |
| FlatZincSpace(void) | Gecode::FlatZinc::FlatZincSpace | |
| flush(void) | Gecode::Space | |
| 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] |
| ignore(Actor &a, ActorProperty p) | Gecode::Space | [inline] |
| init(int intVars, int boolVars, int setVars) | Gecode::FlatZinc::FlatZincSpace | |
| intVarCount | Gecode::FlatZinc::FlatZincSpace | [protected] |
| iv | Gecode::FlatZinc::FlatZincSpace | |
| iv_boolalias | Gecode::FlatZinc::FlatZincSpace | |
| iv_introduced | Gecode::FlatZinc::FlatZincSpace | |
| local | Gecode::Space | |
| MAX enum value | Gecode::FlatZinc::FlatZincSpace | |
| maximize(int var, 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, AST::Array *annotation) | Gecode::FlatZinc::FlatZincSpace | |
| n_sub | Gecode::Space | |
| newBoolVar(BoolVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace | |
| newIntVar(IntVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace | |
| newSetVar(SetVarSpec *vs) | Gecode::FlatZinc::FlatZincSpace | |
| notice(Actor &a, ActorProperty p) | Gecode::Space | [inline] |
| operator delete(void *) | Gecode::Space | [inline, static] |
| operator new(size_t) | Gecode::Space | [inline, static] |
| operator()(Propagator &p) | Gecode::Space | [inline] |
| optVar(void) const | Gecode::FlatZinc::FlatZincSpace | |
| p | Gecode::Space | |
| postConstraint(const ConExpr &ce, AST::Node *annotation) | Gecode::FlatZinc::FlatZincSpace | |
| print(std::ostream &out, const Printer &p) const | Gecode::FlatZinc::FlatZincSpace | |
| propagators(void) 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] |
| shared | Gecode::Space | |
| shrinkArrays(Printer &p) | Gecode::FlatZinc::FlatZincSpace | |
| solve(AST::Array *annotation) | Gecode::FlatZinc::FlatZincSpace | |
| solveAnnotations(void) const | Gecode::FlatZinc::FlatZincSpace | |
| Space(void) | Gecode::Space | |
| Space(bool share, Space &s) | Gecode::Space | |
| stable(void) const | Gecode::Space | [inline] |
| status(StatusStatistics &stat=unused_status) | Gecode::Space | |
| sv | Gecode::FlatZinc::FlatZincSpace | |
| sv_introduced | Gecode::FlatZinc::FlatZincSpace | |
| vars_noidx | Gecode::Space | |
| vars_u | Gecode::Space | |
| ~FlatZincSpace(void) | Gecode::FlatZinc::FlatZincSpace | |
| ~Space(void) | Gecode::Space | [virtual] |