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

Class EGDSpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySpec

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.EGDSpec

All Implemented Interfaces:

LogicElementSpec

public class EGDSpec
extends DependencySpec

Specification of a logic constraint including an ID for it.

Constructor Summary

Constructors

Constructor	Description
EGDSpec(BodySpec body, BuiltInLiteralSpec head)
EGDSpec(List<LiteralSpec> bodyLiterals, BuiltInLiteralSpec head)

Method Summary

Modifier and Type	Method	Description
Set<String>	getAllVariableNames()
BuiltInLiteralSpec	getHead()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySpec

getBody

Methods inherited from class java.lang.Object

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

Constructor Details

EGDSpec

public EGDSpec(List<LiteralSpec> bodyLiterals,
 BuiltInLiteralSpec head)

EGDSpec

public EGDSpec(BodySpec body,
 BuiltInLiteralSpec head)

Method Details

getHead

public BuiltInLiteralSpec getHead()

getAllVariableNames

public Set<String> getAllVariableNames()

Specified by:

getAllVariableNames in class DependencySpec