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

Packages that use edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

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

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation

Class	Description
PredicateSpec	Specification of a predicate.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

Class	Description
BodySpec	Specification of a body of a normal clause.
BuiltInLiteralSpec	Specification of a built-in literal.
LiteralSpec	Specification of a Literal.
LogicElementSpec
OrdinaryLiteralSpec	Specification of an ordinary literal.
PredicateSpec	Specification of a predicate.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers

Class	Description
BodySpec	Specification of a body of a normal clause.
TermSpec	Specification of a term.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser

Class	Description
BodySpec	Specification of a body of a normal clause.
BuiltInLiteralSpec	Specification of a built-in literal.
OrdinaryLiteralSpec	Specification of an ordinary literal.
TermSpec	Specification of a term.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Class	Description
BodySpec	Specification of a body of a normal clause.
BuiltInLiteralSpec	Specification of a built-in literal.
DerivationRuleSpec	Specification of a derivation rule.
LogicConstraintSpec	Specification of a LogicConstraint.
LogicConstraintWithIDSpec	Specification of a logic constraint including an ID for it.
LogicConstraintWithoutIDSpec	Specification of a logic constraint with no ID.
LogicSchemaSpec	Specification of a whole logic schema, that is, a specification of a set of predicates, logic constraints, and derivation rules.
OrdinaryLiteralSpec	Specification of an ordinary literal.
PredicateSpec	Specification of a predicate.
QuerySpec	Specification of a conjunctive query.
TermSpec	Specification of a term.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Class	Description
BodySpec	Specification of a body of a normal clause.
DerivationRuleSpec	Specification of a derivation rule.
LiteralSpec	Specification of a Literal.
LogicConstraintSpec	Specification of a LogicConstraint.
LogicElementSpec
NormalClauseSpec	Specification of a NormalClause.
PredicateSpec	Specification of a predicate.
QuerySpec	Specification of a conjunctive query.
TermSpec	Specification of a term.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Class	Description
BodySpec	Specification of a body of a normal clause.
BuiltInLiteralSpec	Specification of a built-in literal.
DerivationRuleSpec	Specification of a derivation rule.
LiteralSpec	Specification of a Literal.
LogicConstraintWithIDSpec	Specification of a logic constraint including an ID for it.
LogicConstraintWithoutIDSpec	Specification of a logic constraint with no ID.
OrdinaryLiteralSpec	Specification of an ordinary literal.
PredicateSpec	Specification of a predicate.
TermSpec	Specification of a term.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

Class	Description
BodySpec	Specification of a body of a normal clause.
BuiltInLiteralSpec	Specification of a built-in literal.
DerivationRuleSpec	Specification of a derivation rule.
LogicConstraintSpec	Specification of a LogicConstraint.
LogicConstraintWithIDSpec	Specification of a logic constraint including an ID for it.
LogicConstraintWithoutIDSpec	Specification of a logic constraint with no ID.
LogicSchemaSpec	Specification of a whole logic schema, that is, a specification of a set of predicates, logic constraints, and derivation rules.
OrdinaryLiteralSpec	Specification of an ordinary literal.
QuerySetSpec	Specification of a set of conjunctive queries.
QuerySpec	Specification of a conjunctive query.
TermSpec	Specification of a term.