fn declare_predicate(&mut self, p: P, domain: ConvolutedSort) -> std::result::Result<(), Error> {
		debug!("engine: declare new predicate `{}`", p);
		self.predicates.push(p.clone());
		Self::learner_result(self.learner.declare_predicate(p, domain))
	}
/// Declare a new predicate to solve.
Declare a new predicate to solve.
Declare a new predicate to solve .
fn declare_predicate(&mut self, p: P, domain: ConvolutedSort) -> std::result::Result<(), Error> {
		debug!("engine: declare new predicate `{}`", p);
		self.predicates.push(p.clone());
		Self::learner_result(self.learner.declare_predicate(p, domain))
	}
fn declare_predicate ( & mut self , p : P , domain : ConvolutedSort ) -> std :: result :: Result < ( ) , Error > { debug ! ( " " p ) ; self . predicates . push ( p . clone ( ) ) ; Self :: learner_result ( self . learner . declare_predicate ( p , domain ) ) }
Declare a new predicate to solve.
Declare a new predicate to solve .
&mut self
p
P
domain
ConvolutedSort
&mut self
p
P
domain
ConvolutedSort