sjm.engine
Interface ArithmeticTerm

All Known Implementing Classes:

ArithmeticOperator, NumberFact, Variable

public interface ArithmeticTerm

extends ComparisonTerm

This marker interface indicates a type of term that can participate in an arithmetic expression, namely numbers, variables, and other arithmetic expressions.

Methods inherited from interface sjm.engine.Term

copyForProof, eval, isList, listTailString, unify, unify, unify, variables