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

Class LogicConstraintWithoutIDSpec

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

All Implemented Interfaces:

LogicElementSpec

public class LogicConstraintWithoutIDSpec
extends LogicConstraintSpec

Specification of a logic constraint with no ID.

Constructor Summary

Constructors

Constructor	Description
LogicConstraintWithoutIDSpec(BodySpec body)
LogicConstraintWithoutIDSpec(List<LiteralSpec> bodyLiterals)

Method Summary

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

LogicConstraintWithoutIDSpec

public LogicConstraintWithoutIDSpec(List<LiteralSpec> bodyLiterals)

LogicConstraintWithoutIDSpec

public LogicConstraintWithoutIDSpec(BodySpec body)