Constant (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.Constant

public class Constant extends Term

Implementation of a logic constant. E.g.: `Socrates`, 4, etc.

Constructor Summary

Constructors

Constructor

Description

Constant(String name)
Method Summary

Modifier and Type

Method

Description

<T> T

accept(LogicSchemaVisitor<T> visitor)

Term

applySubstitution(Substitution substitution)

boolean

isConstant()

String

toString()

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

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

Constructor Details
- Constant
  
  public Constant(String name)
Method Details
- applySubstitution
  
  public Term applySubstitution(Substitution substitution)
  
  Specified by:
  
  applySubstitution in class Term
- isConstant
  
  public boolean isConstant()
  
  Overrides:
  
  isConstant 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