Index

_

__contains__() (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.Interval method) (constrainingorder.sets.IntervalSet method)

__init__() (constrainingorder.constraints.AllDifferent method) (constrainingorder.Space method) (constrainingorder.constraints.BinaryRelation method) (constrainingorder.constraints.DiscreteBinaryRelation method) (constrainingorder.constraints.Domain method) (constrainingorder.constraints.FixedValue method) (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.Interval method) (constrainingorder.sets.IntervalSet method) (constrainingorder.variables.DiscreteVariable method) (constrainingorder.variables.RealVariable method)

A

ac3() (in module constrainingorder.solver)

AllDifferent (class in constrainingorder.constraints)

B

BinaryRelation (class in constrainingorder.constraints)

C

closed() (constrainingorder.sets.Interval class method) consistent() (constrainingorder.constraints.Constraint method) (constrainingorder.Space method)

Constraint (class in constrainingorder.constraints) constraints (constrainingorder.Space attribute)

D

description (constrainingorder.variables.Variable attribute) difference() (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.IntervalSet method) discrete (constrainingorder.variables.Variable attribute) DiscreteBinaryRelation (class in constrainingorder.constraints) DiscreteSet (class in constrainingorder.sets)

DiscreteVariable (class in constrainingorder.variables) Domain (class in constrainingorder.constraints) domain (constrainingorder.variables.Variable attribute) domains (constrainingorder.constraints.Constraint attribute) (constrainingorder.Space attribute)

E

Equal (class in constrainingorder.constraints)

everything() (constrainingorder.sets.DiscreteSet class method) (constrainingorder.sets.Interval class method) (constrainingorder.sets.IntervalSet class method)

F

FixedValue (class in constrainingorder.constraints) from_value() (constrainingorder.sets.Interval class method)

from_values() (constrainingorder.sets.IntervalSet class method)

G

get_point() (constrainingorder.sets.Interval method) Greater (class in constrainingorder.constraints)

GreaterEqual (class in constrainingorder.constraints)

I

intersection() (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.Interval method) (constrainingorder.sets.IntervalSet method) Interval (class in constrainingorder.sets) IntervalSet (class in constrainingorder.sets) is_discrete() (constrainingorder.sets.DiscreteSet method) (constrainingorder.Space method) (constrainingorder.sets.Interval method) (constrainingorder.sets.IntervalSet method)

is_disjoint() (constrainingorder.sets.Interval method) is_empty() (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.Interval method) (constrainingorder.sets.IntervalSet method) iter_members() (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.IntervalSet method)

L

leftopen() (constrainingorder.sets.Interval class method) Less (class in constrainingorder.constraints)

LessEqual (class in constrainingorder.constraints)

N

name (constrainingorder.variables.Variable attribute)

NonEqual (class in constrainingorder.constraints)

O

open() (constrainingorder.sets.Interval class method)

R

RealVariable (class in constrainingorder.variables) relation() (constrainingorder.constraints.BinaryRelation method)

rightopen() (constrainingorder.sets.Interval class method)

S

satisfied() (constrainingorder.constraints.Constraint method) (constrainingorder.Space method) solve() (in module constrainingorder.solver)

Space (class in constrainingorder)

U

union() (constrainingorder.sets.DiscreteSet method) (constrainingorder.sets.IntervalSet method)

V

Variable (class in constrainingorder.variables) variables (constrainingorder.Space attribute)

vnames (constrainingorder.constraints.Constraint attribute)