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

package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

Related Packages

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Exceptions

Class	Description
ArityMismatch
LevelHierarchyException
LogicConstraintNotExists
NoNegatableLiteral
PredicateHasNoDerivationRules
PredicateIsNotDerived
PredicateNotExists
PredicateNotInLevel
PredicateOutsideSchema
RepeatedConstraintID
RepeatedPredicateName