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

Class NormalClause

java.lang.Object

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

Direct Known Subclasses:

DerivationRule, LogicConstraint

public abstract class NormalClause
extends Object

Implementation of a logic normal clause. Normal clauses might be LogicConstraints, or DerivationRules A NormalClause should be used, at most, in one LogicSchema.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
ImmutableLiteralsList	getBody()
abstract boolean	isSafe()

Methods inherited from class java.lang.Object

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

Constructor Details

NormalClause

protected NormalClause(List<Literal> body)

Method Details

getBody

public ImmutableLiteralsList getBody()

Returns:

an immutable list of literals that forms the body of this normal clause

isSafe

public abstract boolean isSafe()