Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Class VariableSpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.VariableSpec

All Implemented Interfaces:

LogicElementSpec

public class VariableSpec
extends TermSpec

Specification of a variable.

Constructor Summary

Constructors

Constructor	Description
VariableSpec(String name)

Method Summary

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

equals, getName, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

VariableSpec

public VariableSpec(String name)