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

Class LogicConstraintMother

java.lang.Object

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

public class LogicConstraintMother
extends Object

Constructor Summary

Constructors

Constructor	Description
LogicConstraintMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint	createTrivialLogicConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID constraintID, edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate p)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint	createWithID(String schema)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint	createWithoutID(String schema)

Methods inherited from class java.lang.Object

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

Constructor Details

LogicConstraintMother

public LogicConstraintMother()

Method Details

createTrivialLogicConstraint

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint createTrivialLogicConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID constraintID,
 edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate p)

createWithoutID

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint createWithoutID(String schema)

Parameters:

schema - a not null string representing a logic constraint, together the related derivation rules, without specifying the id

Returns:

the previous logic constraint parsed as a LogicConstraint object

createWithID

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint createWithID(String schema)