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

Class LogicConstraintSpec

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

All Implemented Interfaces:

LogicElementSpec

Direct Known Subclasses:

LogicConstraintWithIDSpec, LogicConstraintWithoutIDSpec

public abstract class LogicConstraintSpec
extends NormalClauseSpec
implements LogicElementSpec

Specification of a LogicConstraint.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	LogicConstraintSpec(BodySpec body)
protected	LogicConstraintSpec(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

LogicConstraintSpec

protected LogicConstraintSpec(BodySpec body)

LogicConstraintSpec

protected LogicConstraintSpec(List<LiteralSpec> bodyLiterals)