Struct uindex::facttree::FactSet [−][src]
Fields
root: Box<FSNode<'a>>
Implementations
impl<'a> FactSet<'a>
[src]
impl<'a> FactSet<'a>
[src]pub fn new() -> FactSet<'a>
[src]
pub fn add_fact(&'a self, fact: Vec<MPPath<'a>>)
[src]
pub fn ask_fact(
&'a self,
fact: Vec<MPPath<'a>>
) -> (Vec<MPMatching<'a>>, Vec<MPPath<'a>>)
[src]
&'a self,
fact: Vec<MPPath<'a>>
) -> (Vec<MPMatching<'a>>, Vec<MPPath<'a>>)
pub fn ask_fact_bool(&'a self, fact: Vec<MPPath<'a>>) -> (bool, Vec<MPPath<'a>>)
[src]
pub fn ask_facts(&'a self, facts: Vec<Vec<MPPath<'a>>>) -> Vec<MPMatching<'a>>
[src]
pub fn follow_and_create_paths(
&'a self,
parent: &'a FSNode<'a>,
paths: Vec<MPPath<'a>>,
carry: CarryOver<'a>
)
[src]
&'a self,
parent: &'a FSNode<'a>,
paths: Vec<MPPath<'a>>,
carry: CarryOver<'a>
)
pub fn intern_child(
&'a self,
parent: &'a FSNode<'a>,
path_id: u64,
child: FSNode<'a>,
carry: CarryOver<'a>,
index: usize
) -> (&'a FSNode<'a>, CarryOver<'a>)
[src]
&'a self,
parent: &'a FSNode<'a>,
path_id: u64,
child: FSNode<'a>,
carry: CarryOver<'a>,
index: usize
) -> (&'a FSNode<'a>, CarryOver<'a>)
pub fn intern_lchild(
&'a self,
parent: &'a FSNode<'a>,
path_id: u64,
unique_child: bool,
child: FSNode<'a>,
carry: CarryOver<'a>,
index: usize
) -> (&'a FSNode<'a>, CarryOver<'a>)
[src]
&'a self,
parent: &'a FSNode<'a>,
path_id: u64,
unique_child: bool,
child: FSNode<'a>,
carry: CarryOver<'a>,
index: usize
) -> (&'a FSNode<'a>, CarryOver<'a>)