Struct differential_formula::engine::DDEngine

pub struct DDEngine {
    pub env: Option<Env>,
    pub inspect: bool,
}

Fields

env: Option<Env>

inspect: bool

Methods

impl DDEngine

pub fn new() -> Self

pub fn install(&mut self, env: Env)

pub fn parse_string(content: String) -> Env

pub fn parse_file()

pub fn get_domain(&self, name: String) -> Option<&Domain>

pub fn get_model(&self, name: String) -> Option<&Model>

pub fn create_session(
    &mut self,
    domain_name: &str,
    model_name: Option<&str>
) -> Session

pub fn dataflow_filtered_by_type<G>(
    &self,
    terms: &Collection<G, Term>,
    pred_term: Term
) -> Collection<G, Term> where
    G: Scope,
    G::Timestamp: Lattice + Ord, 

pub fn dataflow_filtered_by_positive_predicate_constraint<G>(
    &self,
    terms: &Collection<G, Term>,
    pos_pred_constraint: Constraint
) -> Collection<G, OrdMap<Term, Term>> where
    G: Scope,
    G::Timestamp: Lattice + Ord, 

pub fn dataflow_from_term_bindings_split<G>(
    &self,
    bindings: &Collection<G, OrdMap<Term, Term>>,
    keys1: Vec<Term>,
    keys2: Vec<Term>
) -> Collection<G, (OrdMap<Term, Term>, OrdMap<Term, Term>)> where
    G: Scope,
    G::Timestamp: Lattice, 

pub fn dataflow_from_constraints<G>(
    &self,
    models: &Collection<G, Term>,
    constraints: &Vec<Constraint>
) -> Collection<G, OrdMap<Term, Term>> where
    G: Scope,
    G::Timestamp: Lattice, 

pub fn dataflow_from_set_comprehension<G>(
    &self,
    var: Term,
    ordered_outer_collection: &Collection<G, OrdMap<Term, Term>>,
    models: &Collection<G, Term>,
    setcompre: &SetComprehension
) -> Collection<G, OrdMap<Term, Term>> where
    G: Scope,
    G::Timestamp: Lattice, 

pub fn dataflow_from_single_rule<G>(
    &self,
    models: &Collection<G, Term>,
    rule: &Rule
) -> Collection<G, Term> where
    G: Scope,
    G::Timestamp: Lattice, 

pub fn create_dataflow(
    &mut self,
    domain: &Domain,
    worker: &mut Worker<Thread>
) -> (InputSession<i32, Term, isize>, ProbeHandle<i32>)