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