Anonymous predicate class

Class representing an expression with a free symbol, similar in intent to an anonymous function

Methods

Public methods

• scidb.predicate$new()

• scidb.predicate$resymbol()

• scidb.predicate$evaluate()

• scidb.predicate$clone()

---

Method new()

Create a predicate from a free variable placeholder name and expression

Usage

scidb.predicate$new(variable, expression)

Arguments

variable

free variable symbol

expression

expression as a function of the free variable

---

Method resymbol()

Rename the free symbol in the internal expression

Usage

scidb.predicate$resymbol(new_variable)

Arguments

new_variable

new string to represent unbound variable

---

Method evaluate()

Evaluate predicate with symbol substituted for the free variable, returning a scidb.expression

Usage

scidb.predicate$evaluate(symbol)

Arguments

symbol

symbol name to take place of free variable

---

Method clone()

The objects of this class are cloneable with this method.

Usage

scidb.predicate$clone(deep = FALSE)

Arguments

deep

Whether to make a deep clone.