Trait proto_vulcan::state::constraint::BaseConstraint

pub trait BaseConstraint<U: UserState>: Debug + Display {
    fn run(self: Rc<Self>, state: State<U>) -> SResult<U>;
    fn operands(&self) -> Vec<&Rc<LTerm>>;

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

Required methods

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

fn operands(&self) -> Vec<&Rc<LTerm>>

Get list of operands

Loading content...

Provided methods

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

Loading content...

Implementors

impl<U: UserState> BaseConstraint<U> for DiseqFdConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for DisequalityConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for DistinctFdConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for LessThanOrEqualFdConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for MinusFdConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for PlusFdConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for PlusZConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for TimesFdConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

impl<U: UserState> BaseConstraint<U> for TimesZConstraint

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

fn operands(&self) -> Vec<&Rc<LTerm>>

Loading content...