pub struct Evaluator;Expand description
Evaluates Lemma rules within their document context
Implementations§
Source§impl Evaluator
impl Evaluator
pub fn new() -> Self
Sourcepub fn evaluate_document(
&self,
doc_name: &str,
documents: &HashMap<String, LemmaDoc>,
sources: &HashMap<String, String>,
fact_overrides: Vec<LemmaFact>,
requested_rules: Option<Vec<String>>,
limits: &ResourceLimits,
) -> LemmaResult<Response>
pub fn evaluate_document( &self, doc_name: &str, documents: &HashMap<String, LemmaDoc>, sources: &HashMap<String, String>, fact_overrides: Vec<LemmaFact>, requested_rules: Option<Vec<String>>, limits: &ResourceLimits, ) -> LemmaResult<Response>
Evaluate a Lemma doc
Executes all rules in the doc in topological order, applying fact overrides if provided.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Evaluator
impl RefUnwindSafe for Evaluator
impl Send for Evaluator
impl Sync for Evaluator
impl Unpin for Evaluator
impl UnwindSafe for Evaluator
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more