Serialized Form

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

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.ArityMismatchException

class ArityMismatchException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.IMPLogicsException

class IMPLogicsException extends RuntimeException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.LevelHierarchyException

class LevelHierarchyException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.LogicConstraintNotFoundException

class LogicConstraintNotFoundException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.NoNegatableLiteralException

class NoNegatableLiteralException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateIsNotDerivedException

class PredicateIsNotDerivedException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateNotFoundException

class PredicateNotFoundException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateNotInLevelException

class PredicateNotInLevelException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateOutsideSchemaException

class PredicateOutsideSchemaException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedConstraintIDException

class RepeatedConstraintIDException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedPredicateNameException

class RepeatedPredicateNameException extends IMPLogicsException implements Serializable

Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions.DerivedLiteralInHomomorphismCheckException

class DerivedLiteralInHomomorphismCheckException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions.SubstitutionException

class SubstitutionException extends IMPLogicsException implements Serializable

Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions.WrongNumberOfTermsInBuiltInLiteralException

class WrongNumberOfTermsInBuiltInLiteralException extends IMPLogicsException implements Serializable

Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper.BodySpecFragment

class BodySpecFragment extends LinkedList<LiteralSpec> implements Serializable

Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.ExpectingConstraintIDException

class ExpectingConstraintIDException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.NotExpectingConstraintIDException

class NotExpectingConstraintIDException extends IMPLogicsException implements Serializable

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.ParserCanceledException

class ParserCanceledException extends IMPLogicsException implements Serializable

Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions

Exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions.MapsDoNotJoinException

class MapsDoNotJoinException extends IMPLogicsException implements Serializable