Struct SemanticConstraint 

pub struct SemanticConstraint {
    pub clauses: Vec<ConstraintClause>,
    pub specificity: u32,
    pub recall: Probability,
}

A ranked disjunctive-normal-form semantic constraint.

Fields

clauses: Vec<ConstraintClause>

Disjunction of clauses. An empty list is treated as trivially true.

specificity: u32

Deterministic ranking score; larger values are more specific.

recall: Probability

Fraction of the positive corpus satisfied by the DNF.

Implementations

impl SemanticConstraint

pub const fn new( clauses: Vec<ConstraintClause>, specificity: u32, recall: Probability, ) -> Self

Builds a constraint value.

pub const fn trivially_true() -> Self

Builds the trivially true constraint.

pub fn evaluate(&self, grammar: &Grammar, input: &str) -> TruthValue

Evaluates the DNF over one input.

pub fn evaluate_probabilistic( &self, grammar: &Grammar, input: &str, ) -> ProbabilisticTruthValue

Evaluates the DNF as a probabilistic truth value.

Trait Implementations

impl Clone for SemanticConstraint

fn clone(&self) -> SemanticConstraint

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SemanticConstraint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SemanticConstraint

fn eq(&self, other: &SemanticConstraint) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SemanticConstraint

impl StructuralPartialEq for SemanticConstraint