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

Class ConstantSpec

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

All Implemented Interfaces:

LogicElementSpec

public class ConstantSpec
extends TermSpec

Specification of a logic constant.

Constructor Summary

Constructors

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

ConstantSpec

public ConstantSpec(String name)