Struct DerivedPredicate

pub struct DerivedPredicate(/* private fields */);

A derived predicate.

Usage

Used by StructureDef.

Implementations

impl DerivedPredicate

pub const fn new(formula: AtomicFormulaSkeleton, gd: GoalDefinition) -> Self

pub const fn predicate(&self) -> &AtomicFormulaSkeleton

pub const fn expression(&self) -> &GoalDefinition

Trait Implementations

impl AsRef<AtomicFormulaSkeleton> for DerivedPredicate

fn as_ref(&self) -> &AtomicFormulaSkeleton

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<GoalDefinition> for DerivedPredicate

fn as_ref(&self) -> &GoalDefinition

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for DerivedPredicate

fn clone(&self) -> DerivedPredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivedPredicate

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

Formats the value using the given formatter.

impl From<(AtomicFormulaSkeleton, GoalDefinition)> for DerivedPredicate

fn from(value: (AtomicFormulaSkeleton, GoalDefinition)) -> Self

Converts to this type from the input type.

impl From<DerivedPredicate> for StructureDef

fn from(value: DerivedPredicate) -> Self

Converts to this type from the input type.

impl Parser for DerivedPredicate

Available on crate feature parser only.

fn parse<'a, S: Into<Span<'a>>>(input: S) -> ParseResult<'a, Self::Item>

See parse_derived_predicate.

type Item = DerivedPredicate

fn parse_span(input: Span<'_>) -> ParseResult<'_, Self::Item>

Parses the input into the specified Item type.

fn from_str(input: &str) -> Result<Self::Item, Err<ParseError<'_>>>

Uses the Parser::parse method to parse the input and, if successful, discards the unparsed remaining input.

impl PartialEq for DerivedPredicate

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