Index

A

A (ge_polyhedron property) A_max (ge_polyhedron property) A_min (ge_polyhedron property) add() (StingyConfigurator method) All (class in puan.logic.plog) AMBIVALENT_VARIABLE_DEFINITIONS (PropositionValidationError attribute) Any (class in puan.logic.plog) (class in puan.modules.configurator)

as_tuple() (Bounds method) assume() (AtLeast method) (Proposition method) (variable method) AtLeast (class in puan.logic.plog) AtMost (class in puan.logic.plog) atomic_propositions (AtLeast property)

B

b (ge_polyhedron property) boolean_ndarray (class in puan.ndarray) boolean_variable_indices (variable_ndarray property)

bounds (AtLeast property) Bounds (class in puan) bounds (variable attribute)

C

CIRCULAR_DEPENDENCIES (PropositionValidationError attribute) column_bounds() (ge_polyhedron method)

compound_propositions (AtLeast property) constant (Bounds property) construct() (variable_ndarray method)

D

default_prios (StingyConfigurator property)

E

equation_bounds (AtLeast property) errors() (AtLeast method) evaluate() (AtLeast method) (variable method)

evaluate_propositions() (AtLeast method) (variable method)

F

flatten() (AtLeast method) (variable method) from_b64() (ge_polyhedron_config static method) from_cicJE() (Imply static method) from_json() (All static method) (Any static method), [1] (AtLeast static method) (AtMost static method) (Imply static method) (Not static method) (Proposition static method) (StingyConfigurator method) (variable static method) (XNor static method) (Xor class method) (Xor static method)

from_list() (All static method) (Any static method), [1] (boolean_ndarray static method) (integer_ndarray static method) (XNor static method) (Xor class method) (Xor static method) from_mixed() (variable static method) from_short() (AtLeast static method) from_strings() (variable static method)

G

ge_polyhedron (class in puan.ndarray) (StingyConfigurator property)

ge_polyhedron_config (class in puan.ndarray) get_neighbourhood() (boolean_ndarray method) (integer_ndarray method)

I

id (AtLeast property) (variable attribute) Imply (class in puan.logic.plog) ineq_separate_points() (ge_polyhedron method)

ineqs_satisfied() (ge_polyhedron method) integer_ndarray (class in puan.ndarray) integer_variable_indices (variable_ndarray property) is_contradiction (AtLeast property) is_tautology (AtLeast property)

L

leafs() (StingyConfigurator method)

M

module puan.logic puan.misc puan.modules

N

n_row_combinations (ge_polyhedron property) ndint_compress() (integer_ndarray method) negate() (AtLeast method) NEGATIVE (Sign attribute)

neglect_columns() (ge_polyhedron method) neglectable_columns() (ge_polyhedron method) NON_UNIQUE_SUB_PROPOSITION_SET (PropositionValidationError attribute) Not (class in puan.logic.plog)

O

or_get() (in module puan.misc)

or_replace() (in module puan.misc)

P

POSITIVE (Sign attribute) Proposition (class in puan) PropositionValidationError (class in puan.logic.plog) puan.logic module

puan.misc module puan.modules module

R

ranking() (integer_ndarray method) reducable_columns_approx() (ge_polyhedron method) reducable_rows() (ge_polyhedron method) reducable_rows_and_columns() (ge_polyhedron method) reduce() (AtLeast method) (ge_polyhedron method)

reduce2d() (integer_ndarray method) reduce_columns() (ge_polyhedron method) reduce_rows() (ge_polyhedron method) row_bounds() (ge_polyhedron method) row_distribution() (ge_polyhedron method) row_stretch() (ge_polyhedron method) row_stretch_int() (ge_polyhedron method)

S

select() (ge_polyhedron_config method) (StingyConfigurator method) separable() (ge_polyhedron method)

Sign (class in puan) solve() (AtLeast method) StingyConfigurator (class in puan.modules.configurator) support_vector_variable() (variable static method)

T

tighten_column_bounds() (ge_polyhedron method) to_b64() (AtLeast method) (ge_polyhedron_config method) to_ge_polyhedron() (AtLeast method) to_json() (All method) (Any method), [1] (AtLeast method) (AtMost method) (Imply method) (Proposition method) (StingyConfigurator method) (variable method) (XNor method) (Xor method), [1]

to_linalg() (ge_polyhedron method) to_list() (boolean_ndarray method) to_short() (AtLeast method) (Proposition method) (variable method) to_text() (AtLeast method)

V

variable (class in puan) variable_indices() (variable_ndarray method)

variable_ndarray (class in puan.ndarray) variables (AtLeast property)

X

XNor (class in puan.logic.plog)

Xor (class in puan.logic.plog) (class in puan.modules.configurator)