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

Class LogicConstraint

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint

public class LogicConstraint
extends NormalClause

Implementation of a logic constraint. That is, a NormalClause without head. E.g. " :- Emp(x), not(Adult(x))" A LogicConstraint is a weak entity w.r.t. a logic schema, that is: - There are no 2 LogicConstraints with the same ConstraintID in the same schema - A LogicConstraint cannot appear in two schemas

Constructor Summary

Constructors

Constructor	Description
LogicConstraint(ConstraintID constraintID, List<Literal> body)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
ConstraintID	getID()
boolean	isSafe()
String	toString()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause

getBody

Methods inherited from class java.lang.Object

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

Constructor Details

LogicConstraint

public LogicConstraint(ConstraintID constraintID,
 List<Literal> body)

Method Details

getID

public ConstraintID getID()

toString

public String toString()

Overrides:

toString in class Object

accept

public <T> T accept(LogicSchemaVisitor<T> visitor)

isSafe

public boolean isSafe()

Specified by:

isSafe in class NormalClause