Struct EpistemicInterpretation 

pub struct EpistemicInterpretation { /* private fields */ }

Minimal interpretation used by G91/FAEEL distinction fixtures.

Implementations

impl EpistemicInterpretation

pub fn new() -> Self

Create an empty interpretation.

pub fn with_known(self, predicate: impl Into<String>, arity: usize) -> Self

Mark a predicate/arity pair as known.

pub fn with_known_terms( self, predicate: impl Into<String>, terms: Vec<Term>, ) -> Result<Self>

Mark a concrete tuple key as known.

pub fn with_possible(self, predicate: impl Into<String>, arity: usize) -> Self

Mark a predicate/arity pair as possible under G91 compatibility semantics.

pub fn with_possible_terms( self, predicate: impl Into<String>, terms: Vec<Term>, ) -> Result<Self>

Mark a concrete tuple key as possible under G91 compatibility semantics.

pub fn with_rejected(self, predicate: impl Into<String>, arity: usize) -> Self

Mark a predicate/arity pair as rejected by the candidate.

pub fn with_rejected_terms( self, predicate: impl Into<String>, terms: Vec<Term>, ) -> Result<Self>

Mark a concrete tuple key as rejected by the candidate.

Trait Implementations

impl Clone for EpistemicInterpretation

fn clone(&self) -> EpistemicInterpretation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicInterpretation

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

Formats the value using the given formatter.

impl Default for EpistemicInterpretation

fn default() -> EpistemicInterpretation

Returns the “default value” for a type.

impl PartialEq for EpistemicInterpretation

fn eq(&self, other: &EpistemicInterpretation) -> 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 EpistemicInterpretation

impl StructuralPartialEq for EpistemicInterpretation