orbital.logic.trs
Interface Variable

All Known Subinterfaces:

Symbol, Symbol

All Known Implementing Classes:

SymbolBase, UniqueSymbol

public interface Variable

Variable tagging interface.

This interface is used to tag classes whose objects are potentially treated as variable expressions subject to binding during unification and reasoning. An object o implementing Variable is treated as a variable iff o.isVariable() is true.

Author:

André Platzer

Method Summary

boolean

isVariable() Whether this concrete object is variable.

Method Detail

isVariable

boolean isVariable()

Whether this concrete object is variable.

This notion usually refers to the variability in the context of Term Rewrite Systems and Reasoning.

Returns:

true if this object is variable, and false if this object is constant.

Preconditions:

true

Postconditions:

usually RES==OLD(RES)