Enum foliage::Term

pub enum Term {
    BinaryOperation(BinaryOperation),
    Boolean(bool),
    Function(Function),
    Integer(i32),
    SpecialInteger(SpecialInteger),
    String(String),
    UnaryOperation(UnaryOperation),
    Variable(Variable),
}

Variants

BinaryOperation(BinaryOperation)

Boolean(bool)

Function(Function)

Integer(i32)

SpecialInteger(SpecialInteger)

String(String)

UnaryOperation(UnaryOperation)

Variable(Variable)

Methods

impl Term

pub fn absolute_value(argument: Box<Term>) -> Self

pub fn add(left: Box<Term>, right: Box<Term>) -> Self

pub fn binary_operation(
    operator: BinaryOperator,
    left: Box<Term>,
    right: Box<Term>
) -> Self

pub fn boolean(value: bool) -> Self

pub fn divide(left: Box<Term>, right: Box<Term>) -> Self

pub fn exponentiate(left: Box<Term>, right: Box<Term>) -> Self

pub fn false_() -> Self

pub fn function(
    declaration: &Rc<FunctionDeclaration>,
    arguments: Vec<Box<Term>>
) -> Self

pub fn infimum() -> Self

pub fn integer(value: i32) -> Self

pub fn modulo(left: Box<Term>, right: Box<Term>) -> Self

pub fn multiply(left: Box<Term>, right: Box<Term>) -> Self

pub fn negative(argument: Box<Term>) -> Self

pub fn special_integer(value: SpecialInteger) -> Self

pub fn string(value: String) -> Self

pub fn subtract(left: Box<Term>, right: Box<Term>) -> Self

pub fn supremum() -> Self

pub fn true_() -> Self

pub fn unary_operation(operator: UnaryOperator, argument: Box<Term>) -> Self

pub fn variable(declaration: &Rc<VariableDeclaration>) -> Self

Trait Implementations

impl Debug for Term

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

Formats the value using the given formatter.

impl Display for Term

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

Formats the value using the given formatter.