Struct PredicatePattern 

pub struct PredicatePattern {
    pub name_pattern: Option<String>,
    pub min_arity: Option<usize>,
    pub max_arity: Option<usize>,
    pub required_domains: Vec<String>,
    pub excluded_domains: Vec<String>,
}

Pattern for predicate matching

Fields

name_pattern: Option<String>

Name pattern (supports wildcards)

min_arity: Option<usize>

Minimum arity

max_arity: Option<usize>

Maximum arity

required_domains: Vec<String>

Required domains (at any position)

excluded_domains: Vec<String>

Excluded domains

Implementations

impl PredicatePattern

pub fn new() -> Self

pub fn with_name_pattern(self, pattern: impl Into<String>) -> Self

pub fn with_arity_range(self, min: usize, max: usize) -> Self

pub fn with_required_domain(self, domain: impl Into<String>) -> Self

pub fn with_excluded_domain(self, domain: impl Into<String>) -> Self

pub fn matches(&self, name: &str, predicate: &PredicateInfo) -> bool

Check if a predicate matches this pattern

Trait Implementations

impl Clone for PredicatePattern

fn clone(&self) -> PredicatePattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredicatePattern

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

Formats the value using the given formatter.

impl Default for PredicatePattern

fn default() -> Self

Returns the “default value” for a type.

impl Hash for PredicatePattern

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PredicatePattern

fn eq(&self, other: &PredicatePattern) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PredicatePattern

impl StructuralPartialEq for PredicatePattern