Trait ReprRuleStored 

pub trait ReprRuleStored: Send + Sync {
    // Required methods
    fn name(&self) -> &'static str;
    fn short_name(&self) -> &'static str;
    fn id(&self) -> ReprId;
    fn applies_to(&self, family: SolverFamily) -> bool;
    fn init_for(
        &self,
        decl: &mut DeclarationPtr,
    ) -> Result<(SymbolTable, Vec<Expression>), ReprError>;
    fn init_for_if_not_exists(
        &self,
        decl: &mut DeclarationPtr,
    ) -> Result<(SymbolTable, Vec<Expression>), ReprError>;
    fn probe_for(&self, decl: &DeclarationPtr) -> Result<usize, ReprError>;
    fn get_or_init_for<'a>(
        &self,
        decl: &'a mut DeclarationPtr,
    ) -> Result<(MappedRwLockReadGuard<'a, RawRwLock, dyn ReprStateStored>, SymbolTable, Vec<Expression>), ReprError>;
    fn get_for<'a>(
        &self,
        decl: &'a DeclarationPtr,
    ) -> Option<MappedRwLockReadGuard<'a, RawRwLock, dyn ReprStateStored>>;
    fn deserialize_state(
        &self,
        val: Value,
    ) -> Result<Box<dyn ReprStateStored>, Error>;
}

Required Methods

fn name(&self) -> &'static str

fn short_name(&self) -> &'static str

fn id(&self) -> ReprId

This representation’s identity.

fn applies_to(&self, family: SolverFamily) -> bool

Whether this representation is available when targeting family.

fn init_for( &self, decl: &mut DeclarationPtr, ) -> Result<(SymbolTable, Vec<Expression>), ReprError>

fn init_for_if_not_exists( &self, decl: &mut DeclarationPtr, ) -> Result<(SymbolTable, Vec<Expression>), ReprError>

fn probe_for(&self, decl: &DeclarationPtr) -> Result<usize, ReprError>

Checks applicability without mutating the source declaration and returns its compactness score.

fn get_or_init_for<'a>( &self, decl: &'a mut DeclarationPtr, ) -> Result<(MappedRwLockReadGuard<'a, RawRwLock, dyn ReprStateStored>, SymbolTable, Vec<Expression>), ReprError>

fn get_for<'a>( &self, decl: &'a DeclarationPtr, ) -> Option<MappedRwLockReadGuard<'a, RawRwLock, dyn ReprStateStored>>

fn deserialize_state( &self, val: Value, ) -> Result<Box<dyn ReprStateStored>, Error>

Trait Implementations

impl Collect for &'static dyn ReprRuleStored

impl Debug for dyn ReprRuleStored

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for &'static dyn ReprRuleStored

fn deserialize<D>( deserializer: D, ) -> Result<&'static dyn ReprRuleStored, <D as Deserializer<'de>>::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for dyn ReprRuleStored

impl Hash for dyn ReprRuleStored

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

where H: Hasher,

Feeds this value into the given Hasher.

impl Ord for dyn ReprRuleStored

fn cmp(&self, other: &(dyn ReprRuleStored + 'static)) -> Ordering

This method returns an Ordering between self and other.

impl PartialEq for dyn ReprRuleStored

fn eq(&self, other: &(dyn ReprRuleStored + 'static)) -> bool

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for dyn ReprRuleStored

fn partial_cmp( &self, other: &(dyn ReprRuleStored + 'static), ) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for &'static dyn ReprRuleStored

fn serialize<S>( &self, serializer: S, ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<R> ReprRuleStored for R

where R: ReprRule,