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]).

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl PredicateConstructor for i32

type Value = i32

fn equality_predicate( &self, bound: <i32 as PredicateConstructor>::Value, ) -> Predicate

fn lower_bound_predicate( &self, bound: <i32 as PredicateConstructor>::Value, ) -> Predicate

fn upper_bound_predicate( &self, bound: <i32 as PredicateConstructor>::Value, ) -> Predicate

fn disequality_predicate( &self, bound: <i32 as PredicateConstructor>::Value, ) -> Predicate

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