List of all items

Structs

• Args
• common::Policy
• common::ast::ASTNode
• common::ast::Clause
• common::ast::Definition
• common::ast::TwoNodeObligation
• common::ast::VariableIntro
• common::templates::TemplateDirectory
• common::templates::TemplateIter
• common::verify_scope::VarContext
• compile::ClauseNumPropagator

Enums

• common::PolicyScope
• common::ast::ASTNodeType
• common::ast::Binop
• common::ast::ClauseIntro
• common::ast::DefinitionScope
• common::ast::OgClauseIntroType
• common::ast::Operator
• common::ast::Relation
• common::ast::VariableIntroType
• common::templates::Template
• common::verify_scope::VarContextType
• initialization_typ::InitializationType

Traits

• common::vis::Visit
• common::vis::VisitMut

Functions

• check_environment
• common::count_references_to_variable
• common::templates::register_templates
• common::templates::render_only_via_template
• common::templates::render_template
• common::verify_scope::remove_from_env
• common::verify_scope::verify_definitions_scope
• common::verify_scope::verify_relation_scope
• common::verify_scope::verify_scope
• common::verify_scope::verify_var_in_scope
• common::verify_scope::verify_var_not_in_scope
• common::verify_scope::verify_variable_intro_scope
• common::vis::super_visit_ast_node
• common::vis::super_visit_ast_node_mut
• common::vis::super_visit_clause
• common::vis::super_visit_clause_intro
• common::vis::super_visit_clause_intro_mut
• common::vis::super_visit_clause_mut
• common::vis::super_visit_definition
• common::vis::super_visit_definition_mut
• common::vis::super_visit_joined_nodes
• common::vis::super_visit_joined_nodes_mut
• common::vis::super_visit_only_via
• common::vis::super_visit_only_via_mut
• common::vis::super_visit_policy
• common::vis::super_visit_policy_mut
• common::vis::super_visit_relation
• common::vis::super_visit_relation_mut
• common::vis::super_visit_variable_intro
• common::vis::super_visit_variable_intro_mut
• compile::compile
• compile::compile_ast_node
• compile::compile_definition
• compile::compile_definitions
• compile::compile_only_via
• compile::compile_relation
• compile::compile_variable_intro
• initialization_typ::compute_initialization_typ
• initialization_typ::compute_lifted_def_initialization_typ
• initialization_typ::for_each_initialization_typ
• initialization_typ::there_is_initialization_typ
• main
• optimizer::lift_definitions
• optimizer::optimize
• parsers::clause::conditional
• parsers::clause::for_each
• parsers::clause::gclause
• parsers::clause::l1_clause
• parsers::clause::l1_clauses
• parsers::clause::l2_clause
• parsers::clause::l2_clauses
• parsers::clause::l3_clause
• parsers::clause::l3_clauses
• parsers::clause::l4_clause
• parsers::clause::l4_clauses
• parsers::clause::only_via
• parsers::clause::there_is
• parsers::definitions::definition
• parsers::definitions::definition_scope
• parsers::definitions::parse_definitions
• parsers::parse
• parsers::relations::affects_whether_relation
• parsers::relations::does_not_affects_whether_relation
• parsers::relations::does_not_go_to_relation
• parsers::relations::does_not_influence_relation
• parsers::relations::goes_to_relation
• parsers::relations::grelations
• parsers::relations::influences_relation
• parsers::relations::is_marked_relation
• parsers::relations::is_not_marked_relation
• parsers::relations::l2_relations
• parsers::relations::l3_relations
• parsers::relations::l4_relations
• parsers::relations::l5_relations
• parsers::relations::operation_associated_with_relation
• parsers::relations::relation
• parsers::relations::relation_node
• parsers::scope::everywhere
• parsers::scope::in_ctrler
• parsers::scope::scope
• parsers::scope::somewhere
• parsers::shared::alphabetic_with_underscores
• parsers::shared::and
• parsers::shared::colon
• parsers::shared::join_nodes
• parsers::shared::join_variable_intros
• parsers::shared::l1_bullet
• parsers::shared::l2_bullet
• parsers::shared::l3_bullet
• parsers::shared::l4_bullet
• parsers::shared::l5_bullet
• parsers::shared::marker
• parsers::shared::operator
• parsers::shared::or
• parsers::shared::spanned
• parsers::shared::variable
• parsers::variable_intro::nodes
• parsers::variable_intro::roots
• parsers::variable_intro::variable_def
• parsers::variable_intro::variable_intro
• parsers::variable_intro::variable_marked
• parsers::variable_intro::variable_source_of
• parsers::variable_intro::variable_type_marked
• run

Type Aliases

• common::ast::Marker
• common::ast::Variable
• common::verify_scope::Environment
• optimizer::LiftedIntros
• parsers::Res