Variants§
Variable(Variable<M>)
A concrete but unspecified Term
(e.g. x
, y
).
See Variable
for more information.
Application(Function, Vec<Term<M>>)
Implementations§
source§impl<M: Matcher> Term<M>
impl<M: Matcher> Term<M>
pub fn resistant_id(&self) -> u32
pub fn size(&self) -> usize
pub fn is_leaf(&self) -> bool
pub fn get_type_shape(&self) -> &TypeShape
pub fn name(&self) -> &str
pub fn mutate(&mut self, other: Term<M>)
fn display_at_depth(&self, depth: usize) -> String
pub fn evaluate<PB>(
&self,
context: &TraceContext<PB>
) -> Result<Box<dyn Any>, Error>where
PB: ProtocolBehavior<Matcher = M> + ProtocolBehavior,
source§impl<M: Matcher> Term<M>
impl<M: Matcher> Term<M>
fn unique_id(&self, tree_mode: bool, cluster_id: usize) -> String
fn node_attributes(displayable: impl Display, color: &str, shape: &str) -> String
fn collect_statements(
term: &Term<M>,
tree_mode: bool,
cluster_id: usize,
statements: &mut Vec<String>
)
sourcepub fn dot_subgraph(
&self,
tree_mode: bool,
cluster_id: usize,
label: &str
) -> String
pub fn dot_subgraph(
&self,
tree_mode: bool,
cluster_id: usize,
label: &str
) -> String
If tree_mode
is true then each subgraph is self-contained and does not reference other
clusters or nodes outside of this subgraph. Therefore, only trees are generated. If it is
false, then graphs are rendered.
Trait Implementations§
source§impl<'de, M> Deserialize<'de> for Term<M>where
M: Matcher,
impl<'de, M> Deserialize<'de> for Term<M>where
M: Matcher,
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<'a, M: Matcher> IntoIterator for &'a Term<M>
impl<'a, M: Matcher> IntoIterator for &'a Term<M>
Having the same mutator for &’a mut Term is not possible in Rust:
source§impl<M: PartialEq + Matcher> PartialEq<Term<M>> for Term<M>
impl<M: PartialEq + Matcher> PartialEq<Term<M>> for Term<M>
impl<M: Eq + Matcher> Eq for Term<M>
impl<M: Matcher> StructuralEq for Term<M>
impl<M: Matcher> StructuralPartialEq for Term<M>
Auto Trait Implementations§
impl<M> !RefUnwindSafe for Term<M>
impl<M> Send for Term<M>where
M: Send,
impl<M> Sync for Term<M>where
M: Sync,
impl<M> Unpin for Term<M>where
M: Unpin,
impl<M> !UnwindSafe for Term<M>
Blanket Implementations§
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<Tail, T> Prepend<T> for Tail
impl<Tail, T> Prepend<T> for Tail
§type PreprendResult = Tail
type PreprendResult = Tail
The Resulting [
TupleList
], of an [Prepend::prepend()
] call,
including the prepended entry.