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

Class UnnamedVariableSpec

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.UnnamedVariableSpec

All Implemented Interfaces:

LogicElementSpec

public class UnnamedVariableSpec
extends TermSpec

Constructor Summary

Constructors

Constructor	Description
UnnamedVariableSpec(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

UnnamedVariableSpec

public UnnamedVariableSpec(String name)