Index

_ | A | B | C | D | E | G | I | L | M | N | O | P | R | S | T | U | V | Z

_

__eq__() (Numberjack.VarArray method)
__ge__() (Numberjack.VarArray method)
__gt__() (Numberjack.VarArray method)
__iadd__() (Numberjack.Model method)
__le__() (Numberjack.VarArray method)
__lt__() (Numberjack.Task method)
(Numberjack.VarArray method)

A

Abs (class in Numberjack)
add() (Numberjack.Model method)
(Numberjack.UnaryResource method)
AllDiff (class in Numberjack)
AllDiffExcept0 (class in Numberjack)
And (class in Numberjack)

B

BinPredicate (class in Numberjack)

C

Cardinality (class in Numberjack)
Conjunction (class in Numberjack)
ConstraintNotSupportedError (class in Numberjack)
constraints (Numberjack.Model attribute)
CPLEXDIR

D

deduce() (Numberjack.NBJ_STD_Solver method)
Disjunction (class in Numberjack)
Div (class in Numberjack)
domain() (Numberjack.Matrix method)
(Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.VarArray method)
(Numberjack.Variable method)

E

Element (class in Numberjack)
environment variable
CPLEXDIR
GUROBI_HOME
ZIBPATH
Eq (class in Numberjack)

G

Gcc (class in Numberjack)
Ge (class in Numberjack)
get_domain() (Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.Variable method)
get_features() (Numberjack.NBJ_STD_Solver method)
get_max() (Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.Variable method)
get_min() (Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.Variable method)
get_size() (Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.Variable method)
get_solution() (Numberjack.NBJ_STD_Solver method)
get_solver() (Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.Variable method)
get_value() (Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.Variable method)
getBacktracks() (Numberjack.NBJ_STD_Solver method)
getChecks() (Numberjack.NBJ_STD_Solver method)
getFailures() (Numberjack.NBJ_STD_Solver method)
getNextSolution() (Numberjack.NBJ_STD_Solver method)
getNodes() (Numberjack.NBJ_STD_Solver method)
getNumConstraints() (Numberjack.NBJ_STD_Solver method)
getNumVariables() (Numberjack.NBJ_STD_Solver method)
getOptimalityGap() (Numberjack.NBJ_STD_Solver method)
getOptimum() (Numberjack.NBJ_STD_Solver method)
getPropags() (Numberjack.NBJ_STD_Solver method)
getTime() (Numberjack.NBJ_STD_Solver method)
getWorkMem() (Numberjack.NBJ_STD_Solver method)
Gt (class in Numberjack)
GUROBI_HOME

I

initial() (Numberjack.Matrix method)
(Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.VarArray method)
(Numberjack.Variable method)
input() (in module Numberjack)
InvalidConstraintSpecification (class in Numberjack)
InvalidEncodingException (class in Numberjack)
is_opt() (Numberjack.NBJ_STD_Solver method)
is_sat() (Numberjack.NBJ_STD_Solver method)
is_unsat() (Numberjack.NBJ_STD_Solver method)

L

Le (class in Numberjack)
LeqLex (class in Numberjack)
LessLex (class in Numberjack)
load() (Numberjack.Model method)
load_gmpl() (Numberjack.NBJ_STD_Solver method)
load_lp() (Numberjack.NBJ_STD_Solver method)
load_mps() (Numberjack.NBJ_STD_Solver method)
load_xml() (Numberjack.NBJ_STD_Solver method)
Lt (class in Numberjack)

M

Matrix (class in Numberjack)
Max (class in Numberjack)
Maximise (class in Numberjack)
Maximize() (in module Numberjack)
Min (class in Numberjack)
Minimise (class in Numberjack)
Minimize() (in module Numberjack)
Mod (class in Numberjack)
Model (class in Numberjack)
ModelSizeError (class in Numberjack)
Mul (class in Numberjack)

N

name() (Numberjack.Matrix method)
(Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.VarArray method)
(Numberjack.Variable method)
NBJ_STD_Solver (class in Numberjack)
Ne (class in Numberjack)
Neg (class in Numberjack)
NoOverlap (class in Numberjack)
num_vars() (Numberjack.NBJ_STD_Solver method)
numNodes() (Numberjack.NBJ_STD_Solver method)

O

Or (class in Numberjack)
output_cnf() (Numberjack.NBJ_STD_Solver method)
output_lp() (Numberjack.NBJ_STD_Solver method)
output_mps() (Numberjack.NBJ_STD_Solver method)

P

post() (Numberjack.NBJ_STD_Solver method)
Precedence (class in Numberjack)
Predicate (class in Numberjack)
printStatistics() (Numberjack.NBJ_STD_Solver method)
propagate() (Numberjack.NBJ_STD_Solver method)

R

reset() (Numberjack.NBJ_STD_Solver method)

S

save() (Numberjack.NBJ_STD_Solver method)
set_lower_bound() (Numberjack.Model method)
set_upper_bound() (Numberjack.Model method)
setCmdLineOpt() (Numberjack.NBJ_STD_Solver method)
setFailureLimit() (Numberjack.NBJ_STD_Solver method)
setHeuristic() (Numberjack.NBJ_STD_Solver method)
setNodeLimit() (Numberjack.NBJ_STD_Solver method)
setOptimalityGap() (Numberjack.NBJ_STD_Solver method)
setOption() (Numberjack.NBJ_STD_Solver method)
setRandomSeed() (Numberjack.NBJ_STD_Solver method)
setThreadCount() (Numberjack.NBJ_STD_Solver method)
setTimeLimit() (Numberjack.NBJ_STD_Solver method)
setVerbosity() (Numberjack.NBJ_STD_Solver method)
setWorkMem() (Numberjack.NBJ_STD_Solver method)
shuffle_cnf() (Numberjack.NBJ_STD_Solver method)
Solution (class in Numberjack)
solution() (Numberjack.Matrix method)
(Numberjack.Predicate method)
(Numberjack.Task method)
(Numberjack.VarArray method)
(Numberjack.Variable method)
solutions() (Numberjack.NBJ_STD_Solver method)
solve() (Numberjack.NBJ_STD_Solver method)
solve_with() (Numberjack.Model method)
solveAndRestart() (Numberjack.NBJ_STD_Solver method)
startNewSearch() (Numberjack.NBJ_STD_Solver method)
Sum (class in Numberjack)

T

Table (class in Numberjack)
Task (class in Numberjack)

U

UnaryResource (class in Numberjack)
undo() (Numberjack.NBJ_STD_Solver method)
UnsupportedSolverFunction (class in Numberjack)

V

VarArray (class in Numberjack)
Variable (class in Numberjack)
variables (Numberjack.Model attribute)

Z

ZIBPATH