Trait PredicateConstructor 

pub trait PredicateConstructor {
    type Value;

    // Required methods
    fn lower_bound_predicate(&self, bound: Self::Value) -> Predicate;
    fn upper_bound_predicate(&self, bound: Self::Value) -> Predicate;
    fn equality_predicate(&self, bound: Self::Value) -> Predicate;
    fn disequality_predicate(&self, bound: Self::Value) -> Predicate;
}

A trait which defines methods for creating a Predicate.

Required Associated Types

type Value

The value used to represent a bound.

Required Methods

fn lower_bound_predicate(&self, bound: Self::Value) -> Predicate

Creates a lower-bound predicate (e.g. [x >= v]).

fn upper_bound_predicate(&self, bound: Self::Value) -> Predicate

Creates an upper-bound predicate (e.g. [x <= v]).

fn equality_predicate(&self, bound: Self::Value) -> Predicate

Creates an equality predicate (e.g. [x == v]).

fn disequality_predicate(&self, bound: Self::Value) -> Predicate

Creates a disequality predicate (e.g. [x != v]).

Implementors

impl PredicateConstructor for DomainId

type Value = i32

impl PredicateConstructor for Literal

type Value = i32

impl<Var> PredicateConstructor for AffineView<Var>

where Var: PredicateConstructor<Value = i32>,

type Value = <Var as PredicateConstructor>::Value