kites.TRSModel
Class Variable

java.lang.Object
  extended by kites.TRSModel.ASTNode
      extended by kites.TRSModel.Variable

public class Variable
extends ASTNode

This class represents a variable symbol in a term. It is derived from an ASTNode

See Also:
ASTNode

Field Summary
 
Fields inherited from class kites.TRSModel.ASTNode
name
 
Constructor Summary
Variable(java.lang.String name)
          Create a new variable with a name.
 
Method Summary
 NodeContainer toLabel()
          Gives the graphical representation of this variable
 NodeContainer toLabelWithRule(java.util.LinkedHashMap<ASTNode,java.util.LinkedList<Rule>> decomp, boolean highlight)
          Gives the graphical representation of this variable and embeds information about applicable rules in it.
 
Methods inherited from class kites.TRSModel.ASTNode
add, getChildIterator, getLine, getName, getParamCount, getRevChildIterator, getSize, reverse, toString, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Variable

public Variable(java.lang.String name)
Create a new variable with a name.

Parameters:
name - The variable's name
Method Detail

toLabel

public NodeContainer toLabel()
Gives the graphical representation of this variable

Specified by:
toLabel in class ASTNode
Returns:
The graphical representation

toLabelWithRule

public NodeContainer toLabelWithRule(java.util.LinkedHashMap<ASTNode,java.util.LinkedList<Rule>> decomp,
                                     boolean highlight)
Gives the graphical representation of this variable and embeds information about applicable rules in it. As variables alone can never be reduced, this is exactly the same as toLabel()

Specified by:
toLabelWithRule in class ASTNode
Parameters:
highlight - Shall the node be initially highlighted if one or more rules can be applied
decomp - map of the nodes and their possible rewrites
Returns:
the graphical representation