Enum InvalidRule 

pub enum InvalidRule<Unbound> {
    UnboundImplied(Unbound),
}

Variants

UnboundImplied(Unbound)

Implied statements (part of the “then” property) must not contain unbound symbols that do not exist in the other side of the expression.

Examples of rules that would cause this error:

// all statements are true
-> (?a, ?a, ?a)

// conditional universal statement
(<sun> <enabled> <false>) -> (?a <color> <black>)

Trait Implementations

impl<Unbound: Clone> Clone for InvalidRule<Unbound>

fn clone(&self) -> InvalidRule<Unbound>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Unbound: Debug> Debug for InvalidRule<Unbound>

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

Formats the value using the given formatter.

impl<Unbound: Debug> Display for InvalidRule<Unbound>

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

Formats the value using the given formatter.

impl<Unbound: PartialEq> PartialEq for InvalidRule<Unbound>

fn eq(&self, other: &InvalidRule<Unbound>) -> 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<Unbound: Eq> Eq for InvalidRule<Unbound>

impl<Unbound> StructuralPartialEq for InvalidRule<Unbound>