Searched defs:push_fact (Results 1 – 4 of 4) sorted by relevance
35 pub fn push_fact(&mut self, consequence: impl CastTo<DomainGoal<I>>) { in push_fact() method
898 void InputEngine::push_fact(int k1,int k2) in push_fact() function in InputEngine