Struct term_rewriting::RuleContext

pub struct RuleContext {
    pub lhs: Context,
    pub rhs: Vec<Context>,
}

A Rule with holes; a sort of Rule template.

Fields

lhs: Context

rhs: Vec<Context>

Methods

impl RuleContext

pub fn pretty(&self, sig: &Signature) -> String

A human-readable serialization of the RuleContext.

pub fn subcontexts(&self) -> Vec<(&Context, Place)>

Get all the subcontexts and Places in a RuleContext.

pub fn holes(&self) -> Vec<Place>

pub fn variables(&self) -> Vec<Variable>

All the Variables in a RuleContext.

pub fn operators(&self) -> Vec<Operator>

All the Operators in a RuleContext.

pub fn at(&self, p: &[usize]) -> Option<&Context>

Get a specific subcontext in a RuleContext.

pub fn replace(     &self,     place: &[usize],     subcontext: Context ) -> Option<RuleContext>

Replace one subcontext with another in a RuleContext.

pub fn to_rule(&self) -> Result<Rule, ()>

Convert a RuleContext to a Rule if possible.

Trait Implementations

impl Debug for RuleContext

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

Formats the value using the given formatter.

impl Clone for RuleContext

fn clone(&self) -> RuleContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for RuleContext

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for RuleContext

impl Hash for RuleContext

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,

Feeds a slice of this type into the given [Hasher].