Struct PredicateConstraints 

pub struct PredicateConstraints {
    pub properties: Vec<PredicateProperty>,
    pub value_ranges: Vec<Option<ValueRange>>,
    pub functional_dependencies: Vec<FunctionalDependency>,
}

Constraints associated with a predicate

Fields

properties: Vec<PredicateProperty>

Logical properties of the predicate

value_ranges: Vec<Option<ValueRange>>

Value ranges for each argument (None if unconstrained)

functional_dependencies: Vec<FunctionalDependency>

Functional dependencies between arguments

Implementations

impl PredicateConstraints

pub fn new() -> Self

pub fn with_property(self, property: PredicateProperty) -> Self

pub fn with_value_range(self, arg_index: usize, range: ValueRange) -> Self

pub fn with_functional_dependency( self, dependency: FunctionalDependency, ) -> Self

pub fn has_property(&self, property: &PredicateProperty) -> bool

pub fn is_symmetric(&self) -> bool

pub fn is_transitive(&self) -> bool

pub fn is_reflexive(&self) -> bool

Trait Implementations

impl Clone for PredicateConstraints

fn clone(&self) -> PredicateConstraints

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PredicateConstraints

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PredicateConstraints

fn default() -> PredicateConstraints

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for PredicateConstraints

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for PredicateConstraints

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.