Uses of Interface
orbital.logic.trs.Variable

Packages that use Variable

orbital.logic.sign	Defines generic interfaces for formal languages.
orbital.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.

Uses of Variable in orbital.logic.sign

Subinterfaces of Variable in orbital.logic.sign

interface

Symbol Represents a symbol of a signature.

Classes in orbital.logic.sign that implement Variable

class

SymbolBase Default representation of a syntactic symbol in a signature.

Uses of Variable in orbital.moon.logic

Classes in orbital.moon.logic that implement Variable

class

UniqueSymbol A new unique symbol that is distinct from all others.