Struct polar_core::terms::Term [−][src]
pub struct Term { /* fields omitted */ }
Expand description
Represents a concrete instance of a Polar value
Implementations
Creates a new term for a temporary variable
Creates a new term from the parser
Creates a new term from the parser
Creates a new term from a test value
Create a new Term, cloning the source info of self
but with the new value
Replace the value
of self
Get a mutable reference to the underlying data. This will be a real mut pointer if there is only one term with an Arc to the value, otherwise it will be a clone.
Get a set of all the variables used within a term.
Does the given variable occur in this term? Should be much faster than accumulating the set and checking.
Trait Implementations
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
Auto Trait Implementations
impl RefUnwindSafe for Term
impl UnwindSafe for Term
Blanket Implementations
Mutably borrows from an owned value. Read more