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

Class MutablePredicate

java.lang.Object

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

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

public class MutablePredicate
extends Predicate

Mutable implementation of a logic predicate. The logic predicate is mutable in the sense that we can add derivation rules to it at runtime.

Field Summary

Fields inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

derivationRules

Constructor Summary

Constructors

Constructor	Description
MutablePredicate(String name, int arity)
MutablePredicate(String name, int arity, List<Query> definitionQueries)

Method Summary

Modifier and Type	Method	Description
void	addDerivationRule(Query definitionRule)

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

accept, getArity, getDerivationRules, getFirstDerivationRule, getName, isBase, isDerived, isRecursive

Methods inherited from class java.lang.Object

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

Constructor Details

MutablePredicate

public MutablePredicate(String name,
 int arity)

MutablePredicate

public MutablePredicate(String name,
 int arity,
 List<Query> definitionQueries)

Method Details

addDerivationRule

public void addDerivationRule(Query definitionRule)