Index

A

access (octant.datalog_source.TableAccessor attribute) args (octant.datalog_primitives.Operation attribute) (octant.datalog_unfolding.UFConj attribute) (octant.datalog_unfolding.UFDisj attribute)

AST (class in octant.datalog_ast) Atom (class in octant.datalog_ast)

B

bits_of_mask() (in module octant.datalog_primitives) body_tables() (octant.datalog_ast.Rule method) body_variables() (octant.datalog_ast.Rule method) BoolConstant (class in octant.datalog_ast)

BoolType (class in octant.datalog_primitives) build_relations() (octant.datalog_theory.Z3Theory method) build_rules() (octant.datalog_theory.Z3Theory method) build_theory() (octant.datalog_theory.Z3Theory method)

C

candidates() (in module octant.datalog_unfolding) compile() (octant.datalog_compiler.Z3Compiler method)

compile_atom() (octant.datalog_theory.Z3Theory method) compile_expr() (octant.datalog_theory.Z3Theory method) Constant (class in octant.datalog_ast)

D

Datasource (class in octant.datalog_source)

E

elements_of_rule() (in module octant.source_skydive)

environ_from_plan() (in module octant.datalog_unfolding) Expr (class in octant.datalog_ast)

F

fields (octant.datalog_source.TableAccessor attribute) find_base_relations() (octant.datalog_compiler.Z3Compiler method)

flatten() (octant.datalog_compiler.Z3Compiler method) full_id() (octant.datalog_ast.Variable method) fw_action() (in module octant.source_openstack)

G

get_atom_type() (octant.datalog_unfolding.Unfolding method) get_partially_ground_preds() (octant.datalog_unfolding.Unfolding method)

get_table_types() (octant.datalog_source.Datasource method) get_to_solve() (in module octant.datalog_unfolding)

H

head_table() (in module octant.datalog_unfolding) (octant.datalog_ast.Rule method)

head_variables() (octant.datalog_ast.Rule method)

I

idb_extract() (octant.datalog_unfolding.Unfolding method) init() (in module octant.options) initialize_types() (octant.datalog_unfolding.Unfolding method) ip_of_cidr() (in module octant.datalog_primitives) ip_version() (in module octant.source_openstack)

IpAddressType (class in octant.datalog_primitives) IpConstant (class in octant.datalog_ast) is_disj() (in module octant.datalog_unfolding) is_extensible() (octant.datalog_source.Datasource method) is_ground() (in module octant.datalog_unfolding) is_primitive() (in module octant.datalog_primitives)

L

len_occ() (in module octant.datalog_unfolding)

list_opts() (in module octant.options)

M

main() (in module octant.datalog_theory) marshall() (octant.datalog_primitives.BoolType method) (octant.datalog_primitives.IpAddressType method) (octant.datalog_primitives.NumType method) (octant.datalog_primitives.StringType method) (octant.datalog_primitives.Z3Type method)

mask_of_network() (in module octant.datalog_primitives)

N

NEUTRON_TABLES (in module octant.source_openstack) normalize_status() (in module octant.source_openstack)

NumConstant (class in octant.datalog_ast) NumType (class in octant.datalog_primitives)

O

occurrence() (in module octant.datalog_unfolding) octant.datalog_ast (module) octant.datalog_compiler (module) octant.datalog_parser (module) octant.datalog_primitives (module) octant.datalog_source (module) octant.datalog_theory (module)

octant.datalog_typechecker (module) octant.datalog_unfolding (module) octant.options (module) octant.source_openstack (module) octant.source_skydive (module) OPENSTACK_TABLES (in module octant.source_openstack) Operation (class in octant.datalog_ast) (class in octant.datalog_primitives)

P

parse_atom() (in module octant.datalog_parser) parse_file() (in module octant.datalog_parser) pin_variables() (octant.datalog_ast.Atom method) (octant.datalog_ast.Expr method) (octant.datalog_ast.Operation method) (octant.datalog_ast.Variable method)

plan (octant.datalog_unfolding.UnfoldPlan attribute) populate_tables() (octant.datalog_unfolding.Unfolding method) port_max() (in module octant.source_openstack) port_min() (in module octant.source_openstack) prefix_of_network() (in module octant.datalog_primitives) print_result() (in module octant.datalog_theory) proceed() (octant.datalog_unfolding.Unfolding method)

Q

query() (octant.datalog_theory.Z3Theory method)

R

reduce_conj() (in module octant.datalog_unfolding) reduce_disj() (in module octant.datalog_unfolding) register() (in module octant.source_openstack) (in module octant.source_skydive) (octant.datalog_source.Datasource method)

result (octant.datalog_primitives.Operation attribute) retrieve_data() (octant.datalog_theory.Z3Theory method) retrieve_table() (octant.datalog_source.Datasource method) Rule (class in octant.datalog_ast) rule_strategy() (octant.datalog_unfolding.Unfolding method)

S

session (octant.datalog_source.TableAccessor attribute) simplify_to_ground_types() (in module octant.datalog_unfolding) SkydiveCnx (class in octant.source_skydive) strategy() (octant.datalog_unfolding.Unfolding method)

StringConstant (class in octant.datalog_ast) StringType (class in octant.datalog_primitives) substitute_constants() (octant.datalog_compiler.Z3Compiler method) substitutes_constants_in_array() (octant.datalog_compiler.Z3Compiler method)

T

TableAccessor (class in octant.datalog_source) TABLES (in module octant.source_skydive) to_os() (octant.datalog_primitives.BoolType method) (octant.datalog_primitives.IpAddressType method) (octant.datalog_primitives.NumType method) (octant.datalog_primitives.StringType method) (octant.datalog_primitives.Z3Type method) to_z3() (octant.datalog_primitives.BoolType method) (octant.datalog_primitives.IpAddressType method) (octant.datalog_primitives.NumType method) (octant.datalog_primitives.StringType method) (octant.datalog_primitives.Z3Type method)

ty_vars (octant.datalog_primitives.Operation attribute) type() (octant.datalog_primitives.Z3Type method) (octant.datalog_unfolding.Unfolding method) type_tables() (octant.datalog_unfolding.Unfolding method) type_theory() (in module octant.datalog_typechecker) type_variables() (octant.datalog_unfolding.Unfolding method)

U

UFBot (class in octant.datalog_unfolding) UFConj (class in octant.datalog_unfolding) UFDisj (class in octant.datalog_unfolding) UFGround (class in octant.datalog_unfolding) UFTop (class in octant.datalog_unfolding) UFType (class in octant.datalog_unfolding) Unfolding (class in octant.datalog_unfolding)

UnfoldPlan (class in octant.datalog_unfolding) unmarshall() (octant.datalog_primitives.BoolType method) (octant.datalog_primitives.IpAddressType method) (octant.datalog_primitives.NumType method) (octant.datalog_primitives.StringType method) (octant.datalog_primitives.Z3Type method) use_cache() (octant.datalog_source.Datasource method)

V

Variable (class in octant.datalog_ast) variables() (octant.datalog_ast.Atom method) (octant.datalog_ast.Expr method) (octant.datalog_ast.Operation method) (octant.datalog_ast.Variable method)

W

weight_type() (in module octant.datalog_unfolding)

wrap_type() (in module octant.datalog_unfolding) wrapped_parse() (in module octant.datalog_parser)

Z

z3 (octant.datalog_primitives.Operation attribute) Z3Compiler (class in octant.datalog_compiler) Z3NotWellFormed

Z3Theory (class in octant.datalog_theory) Z3Type (class in octant.datalog_primitives) Z3TypeError