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) cltopy() (clorm.BaseField static method) combine_fields() (in module clorm) ComplexTerm (in module clorm) configuration (clorm.clingo.Control property) ConstantField (class in clorm) ConstantStr (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

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)

E

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

execute() (clorm.Delete method) extend() (clorm.clingo.Model method)

F

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

Field (clorm.Predicate attribute) field() (in module clorm) 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_consequence() (clorm.clingo.Model method) 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)

M

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

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

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) priority (clorm.clingo.Model 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) RawField (class in clorm) refine_field() (in module clorm) register() (clorm.ContextBuilder 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) replace() (clorm.Query 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.Raw property) 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)