Variable (IMP Logics 2.2.1 API)

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

public class Variable extends Term

Implementation of a logic variable. E.g.: x, y, z, ...

Constructor Summary

Constructors

Constructor

Description

Variable(String name)
Method Summary

Modifier and Type

Method

Description

<T> T

accept(LogicSchemaVisitor<T> visitor)

Term

applySubstitution(Substitution substitution)

boolean

isVariable()

String

toString()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term
equals, getName, hashCode, isConstant

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- Variable
  
  public Variable(String name)
Method Details
- applySubstitution
  
  public Term applySubstitution(Substitution substitution)
  
  Specified by:
  
  applySubstitution in class Term
- isVariable
  
  public boolean isVariable()
  
  Overrides:
  
  isVariable in class Term
- accept
  
  public <T> T accept(LogicSchemaVisitor<T> visitor)
  
  Specified by:
  
  accept in class Term
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object