Enum GroundTerm 

pub enum GroundTerm {
    Constant(ConstantSymbol),
    TripleTerm(Box<GroundAtom>),
}

Ground term — the value form of a Term with all variables substituted. Used as the cell type inside tuples so an evaluator can store both flat constant-only facts and quoted-triple facts (TT1).

Constant corresponds to the Term::Constant form; TripleTerm is the value form of Term::TripleTerm — a GroundAtom whose argument list contains only further GroundTerm values (no variables, recursively).

Total order: Constant(_) < TripleTerm(_). Within each variant, the inner symbol or atom’s lexicographic order determines the result. This is the determinism contract an evaluator can rely on when serialising grounded facts.

Variants

Constant(ConstantSymbol)

Ground constant — the value form of Term::Constant.

TripleTerm(Box<GroundAtom>)

Ground quoted-triple term — the value form of Term::TripleTerm. Contains a GroundAtom whose argument list contains only further GroundTerm values; recursive nesting is bounded by MAX_TRIPLE_TERM_NESTING (enforced at IR Program::validate time, before grounding).

Implementations

impl GroundTerm

pub fn constant(c: ConstantSymbol) -> Self

Construct a flat-constant ground term. Convenience for the common case where the underlying value is a plain ConstantSymbol.

pub fn as_constant(&self) -> Option<&ConstantSymbol>

Pull out the wrapped ConstantSymbol when this is the constant form. Returns None for GroundTerm::TripleTerm.

impl GroundTerm

pub fn try_triple_term(atom: GroundAtom) -> Result<Self, TermShapeError>

Construct a grounded structured term with checked nesting.

Errors

Rejects excessive triple-term nesting.

pub fn validate_structure(&self) -> Result<(), TermShapeError>

Check the same nesting invariant used before grounding a program.

Errors

Rejects excessive triple-term nesting.

Trait Implementations

impl Clone for GroundTerm

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GroundTerm

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for GroundTerm

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for GroundTerm

Display a GroundTerm: constants as their raw symbol, quoted-triple terms as << s p o >> per N-Triples-star syntax (mirroring Term’s display contract).

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

Formats the value using the given formatter.

impl Eq for GroundTerm

impl From<ConstantSymbol> for GroundTerm

fn from(c: ConstantSymbol) -> Self

Converts to this type from the input type.

impl Hash for GroundTerm

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for GroundTerm

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for GroundTerm

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for GroundTerm

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for GroundTerm

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for GroundTerm