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

Class DerivedPredicateMother

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivedPredicateMother

public class DerivedPredicateMother
extends Object

Constructor Summary

Constructors

Constructor	Description
DerivedPredicateMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate	createDerivedPredicate(String predicateName, String schemaString)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate	createOArityDerivedPredicate(String predicateName, edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate predicateP)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate	createTrivialDerivedPredicate(String derivedPredicateName, int arity, List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate> predicatesList)	Create a derived predicate with as many definition rules as predicates given by parameter.

Methods inherited from class java.lang.Object

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

Constructor Details

DerivedPredicateMother

public DerivedPredicateMother()

Method Details

createTrivialDerivedPredicate

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate createTrivialDerivedPredicate(String derivedPredicateName,
 int arity,
 List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate> predicatesList)

Create a derived predicate with as many definition rules as predicates given by parameter. Each definition rule is composed of only one predicate

Parameters:

derivedPredicateName - must be non-null

arity - must be non-negative

predicatesList - must be non-null, and non-empty

Returns:

a derived predicate

createOArityDerivedPredicate

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate createOArityDerivedPredicate(String predicateName,
 edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate predicateP)

createDerivedPredicate

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate createDerivedPredicate(String predicateName,
 String schemaString)