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. It currently only specifies the creation of Predicates based on IntegerPredicates.

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<Var: PredicateConstructor<Value = i32>> PredicateConstructor for AffineView<Var>

type Value = <Var as PredicateConstructor>::Value