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

Class LogicConstraintWithIDSpec

java.lang.Object

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

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

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

All Implemented Interfaces:

LogicElementSpec

public class LogicConstraintWithIDSpec
extends LogicConstraintSpec

Specification of a logic constraint including an ID for it.

Constructor Summary

Constructors

Constructor	Description
LogicConstraintWithIDSpec(String id, BodySpec body)
LogicConstraintWithIDSpec(String id, List<LiteralSpec> bodyLiterals)

Method Summary

Modifier and Type	Method	Description
String	getId()

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

getBody

Methods inherited from class java.lang.Object

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

Constructor Details

LogicConstraintWithIDSpec

public LogicConstraintWithIDSpec(String id,
 BodySpec body)

LogicConstraintWithIDSpec

public LogicConstraintWithIDSpec(String id,
 List<LiteralSpec> bodyLiterals)

Method Details

getId

public String getId()