Trait proto_vulcan::state::constraint::Constraint

pub trait Constraint<U, E>: Debug + Display + AnyConstraint<U, E> where
    U: User,
    E: Engine<U>, {
    fn run(self: Rc<Self>, state: State<U, E>) -> SResult<U, E>;
    fn operands(&self) -> Vec<LTerm<U, E>>;

    fn reify(&self, _state: &mut State<U, E>) { ... }
}

Required methods

fn run(self: Rc<Self>, state: State<U, E>) -> SResult<U, E>

fn operands(&self) -> Vec<LTerm<U, E>>

Provided methods

fn reify(&self, _state: &mut State<U, E>)

Implementations

impl<U, E> dyn Constraint<U, E> where
    U: User,
    E: Engine<U>, 

pub fn is<T: Constraint<U, E>>(&self) -> bool

pub fn downcast_ref<T: Any + Constraint<U, E>>(&self) -> Option<&T>

pub fn downcast_mut<T: Constraint<U, E>>(&mut self) -> Option<&mut T>

Trait Implementations

impl<U, E> Hash for dyn Constraint<U, E> where
    U: User,
    E: Engine<U>, 

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, 

Feeds a slice of this type into the given Hasher.

impl<U, E> PartialEq<dyn Constraint<U, E> + 'static> for dyn Constraint<U, E> where
    U: User,
    E: Engine<U>, 

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl<U, E> Eq for dyn Constraint<U, E> where
    U: User,
    E: Engine<U>, 

Implementors

impl<U, E> Constraint<U, E> for DiseqFdConstraint<U, E> where
    U: User,
    E: Engine<U>, 

impl<U, E> Constraint<U, E> for DistinctFd2Constraint<U, E> where
    U: User,
    E: Engine<U>, 

impl<U, E> Constraint<U, E> for DistinctFdConstraint<U, E> where
    U: User,
    E: Engine<U>, 

impl<U, E> Constraint<U, E> for LessThanOrEqualFdConstraint<U, E> where
    U: User,
    E: Engine<U>, 

impl<U, E> Constraint<U, E> for MinusFdConstraint<U, E> where
    U: User,
    E: Engine<U>, 

impl<U, E> Constraint<U, E> for PlusFdConstraint<U, E> where
    U: User,
    E: Engine<U>, 

impl<U, E> Constraint<U, E> for TimesFdConstraint<U, E> where
    U: User,
    E: Engine<U>,