Orbital library

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)

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.