Struct polar_core::terms::Term

pub struct Term { /* fields omitted */ }

Represents a concrete instance of a Polar value

Implementations

impl Term

pub fn new_temporary(value: Value) -> Self

Creates a new term for a temporary variable

pub fn new_from_ffi(value: Value) -> Self

Creates a new term from the parser

pub fn new_from_parser(
    src_id: u64,
    left: usize,
    right: usize,
    value: Value
) -> Self

Creates a new term from the parser

pub fn new_from_test(value: Value) -> Self

Creates a new term from a test value

pub fn clone_with_value(&self, value: Value) -> Self

Create a new Term, cloning the source info of self but with the new value

pub fn replace_value(&mut self, value: Value)

Replace the value of self

pub fn offset(&self) -> usize

pub fn span(&self) -> Option<(usize, usize)>

pub fn value(&self) -> &Value

Get a reference to the underlying data of this term

pub fn mut_value(&mut self) -> &mut Value

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.

pub fn is_ground(&self) -> bool

pub fn variables(&self, vars: &mut HashSet<Symbol>)

Get a set of all the variables used within a term.

pub fn contains_variable(&self, var: &Symbol) -> bool

Does the given variable occur in this term? Should be much faster than accumulating the set and checking.

pub fn hash_value(&self) -> u64

pub fn get_source_id(&self) -> Option<u64>

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Term

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Display for Term

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

Formats the value using the given formatter.

impl Hash for Term

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

Hash just the value, not source information.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<Term> for Term

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

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

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

This method tests for !=.

impl Serialize for Term

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl ToPolarString for Term

fn to_polar(&self) -> String

impl Eq for Term