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

Class DerivationRule

java.lang.Object

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

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

public class DerivationRule
extends NormalClause

Implementation of a logic derivation rule. That is, a NormalClause with head E.g. "P(x) :- R(x, y)"

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DerivationRule(Atom head, List<Literal> body)	DerivationRules should be created by their corresponding DerivedLiteral.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
Set<Variable>	getExistentialVariables()
Atom	getHead()
ImmutableTermList	getHeadTerms()
Set<Variable>	getUniversalVariables()
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

DerivationRule

protected DerivationRule(Atom head,
 List<Literal> body)

DerivationRules should be created by their corresponding DerivedLiteral.

Parameters:

head - non-null

body - non-null and not empty

Method Details

getHead

public Atom getHead()

getHeadTerms

public ImmutableTermList getHeadTerms()

getUniversalVariables

public Set<Variable> getUniversalVariables()

getExistentialVariables

public Set<Variable> getExistentialVariables()

isSafe

public boolean isSafe()

Specified by:

isSafe in class NormalClause

toString

public String toString()

Overrides:

toString in class Object

accept

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