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

Class DerivationRuleSpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.NormalClauseSpec

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec

All Implemented Interfaces:

LogicElementSpec

public class DerivationRuleSpec
extends NormalClauseSpec
implements LogicElementSpec

Specification of a derivation rule.

Constructor Summary

Constructors

Constructor	Description
DerivationRuleSpec(String predicateName, List<TermSpec> headTermsSpec, BodySpec body)
DerivationRuleSpec(String predicateName, List<TermSpec> termSpecList, List<LiteralSpec> bodySpec)

Method Summary

Modifier and Type	Method	Description
Set<String>	getAllHeadVariableNames()
Set<String>	getAllVariableNames()
String	getPredicateName()
List<TermSpec>	getTermSpecList()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.NormalClauseSpec

getBody

Methods inherited from class java.lang.Object

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

Constructor Details

DerivationRuleSpec

public DerivationRuleSpec(String predicateName,
 List<TermSpec> termSpecList,
 List<LiteralSpec> bodySpec)

DerivationRuleSpec

public DerivationRuleSpec(String predicateName,
 List<TermSpec> headTermsSpec,
 BodySpec body)

Method Details

getPredicateName

public String getPredicateName()

getTermSpecList

public List<TermSpec> getTermSpecList()

getAllVariableNames

public Set<String> getAllVariableNames()

Specified by:

getAllVariableNames in class NormalClauseSpec

getAllHeadVariableNames

public Set<String> getAllHeadVariableNames()