Trait expert::traits::RuleBuilder
[−]
[src]
pub trait RuleBuilder {
fn get_for_condition_collapse<I: Fact>(
&mut self,
hash_eq: I::HashEq
) -> (&mut StringCache, &mut BuilderIdGen, &mut HashMap<AlphaTest<I>, ConditionDesc>);
fn get_id_generator(&mut self) -> &mut BuilderIdGen;
fn get_conditions<I: Fact>(
&mut self
) -> &mut HashMap<I::HashEq, HashMap<AlphaTest<I>, ConditionDesc>>;
fn get_statement_ids(&mut self) -> &mut HashSet<StatementId>;
fn get_string_cache(&mut self) -> &mut StringCache;
}
Required Methods
fn get_for_condition_collapse<I: Fact>(
&mut self,
hash_eq: I::HashEq
) -> (&mut StringCache, &mut BuilderIdGen, &mut HashMap<AlphaTest<I>, ConditionDesc>)
&mut self,
hash_eq: I::HashEq
) -> (&mut StringCache, &mut BuilderIdGen, &mut HashMap<AlphaTest<I>, ConditionDesc>)
fn get_id_generator(&mut self) -> &mut BuilderIdGen
fn get_conditions<I: Fact>(
&mut self
) -> &mut HashMap<I::HashEq, HashMap<AlphaTest<I>, ConditionDesc>>
&mut self
) -> &mut HashMap<I::HashEq, HashMap<AlphaTest<I>, ConditionDesc>>