Uses of Package
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Packages that use edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Package
Description
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domainClassDescriptionImplementation of a logic derivation rule.An immutable list of atomsAn immutable list of literals.Implementation of the logic literal.Representation of a logic predicate.Implementation of a logic variable.
-
-
-
-
-
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.domainClassDescriptionImplementation of a logic Atom.Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()Implementation of a logic built-in literal.Implementation of the logic ComparisonBuiltInLiteral.
Implementation of binary arithmetic comparison operators such as <, or <=.Implementation of non-standard built-in literals.Implementation of a logic derivation rule.An immutable list of atomsAn immutable list of literals.An immutable list of termsSet of predicates of a level in some hierarchical databaseThis class implements the definition of hierarchical database as defined in "Basis for Deductive Database Systems" by J.Implementation of the logic literal.Implementation of a logic constraint.Implementation of a logic normal clause.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.Implementation of a logic Term.Implementation of a logic variable. -
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptionsClassDescriptionImplementation of the logic literal.Representation of a logic predicate.
-
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitorClassDescriptionImplementation of a logic Atom.Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()Implementation of the logic ComparisonBuiltInLiteral.
Implementation of binary arithmetic comparison operators such as <, or <=.Implementation of a logic constant.Implementation of non-standard built-in literals.Implementation of a logic derivation rule.An immutable list of atomsAn immutable list of literals.An immutable list of termsImplementation of a logic constraint.This class implements the representation of a logic schema.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.Implementation of a logic variable. -
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparatorClassDescriptionImplementation of a logic Atom.Implementation of a logic derivation rule.An immutable list of literals.An immutable list of termsImplementation of the logic literal.Implementation of a logic constraint.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphismClassDescriptionImplementation of a logic derivation rule.Implementation of the logic literal.Implementation of a logic constraint.This class implements the representation of a logic schema.Representation of a logic predicate.A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creationClassDescriptionImplementation of a logic built-in literal.An immutable list of termsThis class implements the representation of a logic schema.Mutable implementation of a logic predicate.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.Implementation of a logic Term.
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpersClassDescriptionImplementation of a logic Atom.Implementation of a logic built-in literal.Implementation of a logic derivation rule.An immutable list of literals.Implementation of the logic literal.Implementation of a logic constraint.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.Implementation of a logic Term.
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parserClassDescriptionThis class implements the representation of a logic schema.Representation of a logic predicate.A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printerClassDescriptionImplementation of a logic Atom.Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()Implementation of the logic ComparisonBuiltInLiteral.
Implementation of binary arithmetic comparison operators such as <, or <=.Implementation of a logic constant.Implementation of non-standard built-in literals.Implementation of a logic derivation rule.An immutable list of atomsAn immutable list of literals.An immutable list of termsImplementation of a logic constraint.This class implements the representation of a logic schema.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.Implementation of a logic variable. -
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processesClassDescriptionImplementation of the logic literal.This class implements the representation of a logic schema.
-