Struct Branch 

pub struct Branch {
    pub depth: usize,
    pub answers: Vec<(Ident, TermVal<IdentCtx>)>,
    pub prims: Vec<(Prim, Vec<AtomVal<IdentCtx>>)>,
    pub calls: Vec<PredCall>,
}

Fields

depth: usize

answers: Vec<(Ident, TermVal<IdentCtx>)>

prims: Vec<(Prim, Vec<AtomVal<IdentCtx>>)>

calls: Vec<PredCall>

Implementations

impl Branch

pub fn new(pred: Ident, pars: Vec<Ident>, rule_cnt: usize) -> Branch

pub fn clear_history(&mut self)

pub fn merge(&mut self, unifier: Unifier<IdentCtx, LitVal, OptCons<Ident>>)

pub fn insert(&mut self, call_idx: usize, call: PredCall)

pub fn remove(&mut self, call_idx: usize) -> PredCall

pub fn random_strategy(&mut self) -> usize

pub fn left_biased_strategy(&mut self) -> usize

pub fn naive_strategy(&mut self, n: usize) -> usize

pub fn struct_recur_strategy(&mut self) -> usize

pub fn lookahead_strategy(&mut self) -> usize

Trait Implementations

impl Clone for Branch

fn clone(&self) -> Branch

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Branch

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Branch

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.