Serialized Form

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

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

class ArityMismatch extends RuntimeException implements Serializable

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

class LevelHierarchyException extends RuntimeException implements Serializable

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

class LogicConstraintNotExists extends RuntimeException implements Serializable

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

class NoNegatableLiteral extends RuntimeException implements Serializable

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

class PredicateHasNoDerivationRules extends RuntimeException implements Serializable

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

class PredicateIsNotDerived extends RuntimeException implements Serializable

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

class PredicateNotExists extends RuntimeException implements Serializable

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

class PredicateNotInLevel extends RuntimeException implements Serializable

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

class PredicateOutsideSchema extends RuntimeException implements Serializable

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

class RepeatedConstraintID extends RuntimeException implements Serializable

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

class RepeatedPredicateName extends RuntimeException 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.DerivedLiteralInHomomorphismCheck

class DerivedLiteralInHomomorphismCheck extends RuntimeException implements Serializable

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

class SubstitutionException extends RuntimeException 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.WrongNumberOfTermsInBuiltInLiteral

class WrongNumberOfTermsInBuiltInLiteral extends RuntimeException 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.ExpectingConstraintID

class ExpectingConstraintID extends RuntimeException implements Serializable

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

class NotExpectingConstraintID extends RuntimeException implements Serializable

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

class ParserCanceledException extends RuntimeException 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.MapsDoNotJoin

class MapsDoNotJoin extends RuntimeException implements Serializable