Index

A

add() (clorm.clingo.Control method) (clorm.FactBase method) add_facts() (clorm.clingo.Control method) alias() (in module clorm)

all() (clorm.Query method) and_() (in module clorm) arity (clorm.Predicate attribute) asp_str() (clorm.FactBase method) assign_external() (clorm.clingo.Control method)

B

backend() (clorm.clingo.Control method)

BaseField (class in clorm) bind() (clorm.Query method)

C

cancel() (clorm.clingo.SolveHandle method) cleanup() (clorm.clingo.Control method) clear() (clorm.FactBase method) clone() (clorm.Predicate method) cltopy() (clorm.BaseField static method) combine_fields() (in module clorm) ComplexTerm (in module clorm) configuration (clorm.clingo.Control property) ConstantField (class in clorm) contains() (clorm.clingo.Model method)

context (clorm.clingo.Model property) ContextBuilder (class in clorm) Control (class in clorm.clingo) control_ (clorm.clingo.Control property) control_add_facts() (in module clorm) copy() (clorm.FactBase method) core() (clorm.clingo.SolveHandle method) cost (clorm.clingo.Model property) count() (clorm.Query method) (clorm.Select method) cross() (in module clorm)

D

decoder() (clorm.json.FactBaseCoder method) default (clorm.BaseField property) define_enum_field() (in module clorm) define_flat_list_field() (in module clorm) define_nested_list_field() (in module clorm) Delete (class in clorm)

delete() (clorm.Query method) difference() (clorm.FactBase method) difference_update() (clorm.FactBase method) discard() (clorm.FactBase method) distinct() (clorm.Query method) dump() (clorm.json.FactBaseCoder method) dumps() (clorm.json.FactBaseCoder method)

E

enable_cleanup (clorm.clingo.Control property) enable_enumeration_assumption (clorm.clingo.Control property)

encoder() (clorm.json.FactBaseCoder method) execute() (clorm.Delete method) extend() (clorm.clingo.Model method)

F

FactBase (class in clorm) FactBaseCoder (class in clorm.json) facts() (clorm.clingo.Model method) (clorm.FactBase method)

Field (clorm.Predicate attribute) (clorm.Predicate property) first() (clorm.Query method)

G

get() (clorm.clingo.SolveHandle method) (clorm.Select method) get_const() (clorm.clingo.Control method)

get_unique() (clorm.Select method) ground() (clorm.clingo.Control method) group_by() (clorm.Query method)

H

has_default (clorm.BaseField property)

has_default_factory (clorm.BaseField property) heuristic() (clorm.Query method)

I

in_() (in module clorm) index (clorm.BaseField property) IntegerField (class in clorm) interrupt() (clorm.clingo.Control method) intersection() (clorm.FactBase method)

intersection_update() (clorm.FactBase method) is_conflicting (clorm.clingo.Control property) is_return_element() (clorm.TypeCastSignature static method) is_true() (clorm.clingo.Model method) is_tuple (clorm.Predicate attribute)

J

join() (clorm.Query method)

L

load() (clorm.clingo.Control method) (clorm.json.FactBaseCoder method)

loads() (clorm.json.FactBaseCoder method)

M

make_context() (clorm.ContextBuilder method) make_function_asp_callable() (in module clorm) make_method_asp_callable() (in module clorm) meta (clorm.Predicate attribute) (clorm.Predicate property)

Model (class in clorm.clingo) model() (clorm.clingo.SolveHandle method) model_ (clorm.clingo.Model property)

N

name (clorm.Predicate attribute) not_() (in module clorm)

notin_() (in module clorm) number (clorm.clingo.Model property)

O

optimality_proven (clorm.clingo.Model property) or_() (in module clorm)

order_by() (clorm.Query method) (clorm.Select method)

P

parse_fact_files() (in module clorm) parse_fact_string() (in module clorm) path() (in module clorm) ph_() (in module clorm) Placeholder (class in clorm)

pop() (clorm.FactBase method) Predicate (class in clorm) PredicatePath (class in clorm) predicates (clorm.FactBase property) pytocl() (clorm.BaseField static method)

Q

Query (class in clorm)

query() (clorm.FactBase method) query_plan() (clorm.Query method)

R

Raw (class in clorm) raw (clorm.Predicate property) RawField (class in clorm) refine_field() (in module clorm) register() (clorm.ContextBuilder method) (clorm.json.FactBaseCoder method)

register_name() (clorm.ContextBuilder method) register_observer() (clorm.clingo.Control method) register_propagator() (clorm.clingo.Control method) release_external() (clorm.clingo.Control method) remove() (clorm.FactBase method) resume() (clorm.clingo.SolveHandle method)

S

Select (class in clorm) select() (clorm.FactBase method) (clorm.Query method) simple_predicate() (in module clorm) SimpleField (class in clorm) singleton() (clorm.Query method) solve() (clorm.clingo.Control method) SolveHandle (class in clorm.clingo) solvehandle_ (clorm.clingo.SolveHandle property) statistics (clorm.clingo.Control property)

StringField (class in clorm) symbol (clorm.Predicate property) (clorm.Raw property) symbol_decoder() (in module clorm.json) symbol_encoder() (in module clorm.json) symbolic_atoms (clorm.clingo.Control property) symbolic_atoms_to_facts() (in module clorm) symbols() (clorm.clingo.Model method) symmetric_difference() (clorm.FactBase method) symmetric_difference_update() (clorm.FactBase method)

T

theory_atoms (clorm.clingo.Control property) thread_id (clorm.clingo.Model property)

tuple() (clorm.Query method) type (clorm.clingo.Model property) TypeCastSignature (class in clorm)

U

unifier (clorm.clingo.Control property) unify() (in module clorm)

union() (clorm.FactBase method) update() (clorm.FactBase method)

W

wait() (clorm.clingo.SolveHandle method) where() (clorm.Delete method) (clorm.Query method) (clorm.Select method)

wrap_function() (clorm.TypeCastSignature method) wrap_method() (clorm.TypeCastSignature method)