Index _ | A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | U | V | W _ __init__() (Nil method) _thy() (in module ulkb) A Abstraction (class in ulkb) all_map() (in module ulkb.util) annotations (Object property) any_map() (in module ulkb.util) Application (class in ulkb) args (Object property) args_no_prelude (Theory property) B BoundVariable (class in ulkb) C camel2snake() (in module ulkb.util) check() (Object class method) check_expression() (Object method) check_object() (Object method) check_theory() (Object method) compare() (Object method) Constant (class in ulkb) convert_from() (Object class method) convert_to() (Object method) copy() (Object method) D debug (TheorySettings property) deepcopy() (Object method) deepequal() (Object method) dump() (Object method) E enumerate_extensions() (in module ulkb) (Theory method) equal() (Object method) Expression (class in ulkb) extend() (in module ulkb) (Theory method) Extension (class in ulkb) F flip() (in module ulkb.util) foldl() (in module ulkb.util) foldl1() (in module ulkb.util) foldl1_args() (in module ulkb.util) foldl_args() (in module ulkb.util) foldl_infix() (in module ulkb.util) foldr() (in module ulkb.util) foldr1() (in module ulkb.util) foldr1_args() (in module ulkb.util) foldr_args() (in module ulkb.util) foldr_infix() (in module ulkb.util) Formula (class in ulkb) from_ast() (Object class method) from_json() (Object class method) from_ofn() (Object class method) from_sparql() (Object class method) from_z3() (Object class method) G generated_id_prefix (TheorySettings attribute) get_annotations() (Object method) get_args() (Object method) get_args_no_prelude() (Theory method) get_hexdigest() (Object method) get_package_data_dir() (in module ulkb.util) get_prelude() (Theory method) get_prelude_offset() (Theory method) get_settings() (Theory method) get_type_constructors() (Expression method) get_type_variables() (Expression method) get_unfolded_args() (Expression method) get_variant() (in module ulkb.util) get_variant_not_in() (in module ulkb.util) H has_type_constructors() (Expression method) has_type_variables() (Expression method) hexdigest (Object property) I identity() (in module ulkb.util) instantiate() (Expression method) L load() (Theory method) lookup_axiom() (in module ulkb) (Theory method) lookup_constant() (in module ulkb) (Theory method) lookup_definition() (in module ulkb) (Theory method) lookup_extension() (in module ulkb) (Theory method) lookup_python_type_alias() (in module ulkb) (Theory method) lookup_theorem() (in module ulkb) (Theory method) lookup_type_constructor() (in module ulkb) (Theory method) M map_args() (in module ulkb.util) match_first() (in module ulkb.util) match_last() (in module ulkb.util) module ulkb.util N new_axiom() (in module ulkb) (Theory method) new_base_type() (in module ulkb) (Theory method) new_constant() (in module ulkb) (Theory method) new_definition() (in module ulkb) (Theory method) new_python_type_alias() (in module ulkb) (Theory method) new_theorem() (in module ulkb) (Theory method) new_type_constructor() (in module ulkb) (Theory method) Nil (class in ulkb.util) O Object (class in ulkb) override_object_repr (TheorySettings attribute) P parse() (Object class method) pop() (Theory class method) prelude (Theory property) prelude_offset (Theory property) Proxy (class in ulkb.util) push() (Theory class method) R record_proofs (TheorySettings attribute) reset() (in module ulkb) (Theory method) S serialize() (Object method) settings (in module ulkb) (Theory property) show_axioms() (in module ulkb) show_constants() (in module ulkb) show_definitions() (in module ulkb) show_extensions() (in module ulkb) (Theory method) show_python_type_aliases() (in module ulkb) show_theorems() (in module ulkb) show_type_constructors() (in module ulkb) sliding_pairs() (in module ulkb.util) sliding_pairs_args() (in module ulkb.util) T Term (class in ulkb) test() (Object class method) test_expression() (Object method) test_object() (Object method) test_theory() (Object method) Theory (class in ulkb) TheorySettings (class in ulkb) to_ast() (Object method) to_json() (Object method) to_sparql() (Object method) to_tptp() (Object method) to_ulkb() (Object method) to_z3() (Object method) top (Theory attribute) Type (class in ulkb) type_constructors (Expression property) type_variables (Expression property) TypeApplication (class in ulkb) TypeConstructor (class in ulkb) TypeVariable (class in ulkb) U ulkb.util module unfold() (Object class method) unfold_expression() (Object method) unfold_expression_unsafe() (Object method) unfold_object() (Object method) unfold_object_unsafe() (Object method) unfold_theory() (Object method) unfold_theory_unsafe() (Object method) unfold_unsafe() (Object class method) unfolded_args (Expression property) unfoldl() (in module ulkb.util) unfoldr() (in module ulkb.util) unpack() (Object class method) unpack_expression() (Object method) unpack_expression_unsafe() (Object method) unpack_object() (Object method) unpack_object_unsafe() (Object method) unpack_theory() (Object method) unpack_theory_unsafe() (Object method) unpack_unsafe() (Object class method) V Variable (class in ulkb) W with_annotations() (Object method) with_args() (Object method)