Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Class Dependency

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

Direct Known Subclasses:

EGD, TGD

public abstract class Dependency
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Dependency(List<Literal> body)

Method Summary

Modifier and Type	Method	Description
abstract <T> T	accept(DependencySchemaVisitor<T> visitor)
boolean	containsBuiltInOrNegatedLiteralInBody()
ImmutableLiteralsList	getBody()
Set<Variable>	getUniversalVariables()

Methods inherited from class java.lang.Object

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

Constructor Details

Dependency

protected Dependency(List<Literal> body)

Method Details

getBody

public ImmutableLiteralsList getBody()

getUniversalVariables

public Set<Variable> getUniversalVariables()

containsBuiltInOrNegatedLiteralInBody

public boolean containsBuiltInOrNegatedLiteralInBody()

accept

public abstract <T> T accept(DependencySchemaVisitor<T> visitor)