Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.IMPLogicsException

Packages that use IMPLogicsException

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions

Uses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

Subclasses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

Modifier and Type	Class	Description
class	ArityMismatchException	Thrown to indicate that the quantity of Term (arity) of an object does not match expected.
class	LevelHierarchyException	Thrown as a generic Exception for the LevelHierarchy class.
class	LogicConstraintNotFoundException	Thrown to indicate that a LogicConstraint does not exist in a logic schema.
class	NoNegatableLiteralException	Thrown to indicate that a Literal can not be negated.
class	PredicateIsNotDerivedException	Thrown to indicate that a Predicate is not derived.
class	PredicateNotFoundException	Thrown to indicate that a Predicate is not contained in a logic schema.
class	PredicateNotInLevelException	Thrown to indicate that a Predicate is not found in a LevelHierarchy.
class	PredicateOutsideSchemaException	Thrown to indicate that a Predicate is not from a LogicSchema but from another one.
class	RepeatedConstraintIDException	Thrown to indicate that a ConstraintID is repeated inside a LogicSchema.
class	RepeatedPredicateNameException	Thrown to indicate that a Predicate name is repeated inside a LogicSchema.

Uses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions

Subclasses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions

Modifier and Type	Class	Description
class	DerivedLiteralInHomomorphismCheckException
class	SubstitutionException

Uses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions

Subclasses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions

Modifier and Type	Class	Description
class	WrongNumberOfTermsInBuiltInLiteralException

Uses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

Subclasses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

Modifier and Type	Class	Description
class	ExpectingConstraintIDException
class	NotExpectingConstraintIDException
class	ParserCanceledException

Uses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions

Subclasses of IMPLogicsException in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions

Modifier and Type	Class	Description
class	MapsDoNotJoinException