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

Packages that use Predicate

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain that return Predicate

Modifier and Type	Method	Description
Predicate	DependencySchema.getPredicateByName(String predicateName)

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain that return types with arguments of type Predicate

Modifier and Type	Method	Description
Set<Predicate>	DependencySchema.getAllPredicates()

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain with type arguments of type Predicate

Modifier	Constructor	Description
	DependencySchema(Set<Predicate> predicates, Set<Dependency> dependencies)

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds that return Predicate

Modifier and Type	Method	Description
Predicate	FunctionalDependency.predicate()

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation

Method parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation with type arguments of type Predicate

Modifier and Type	Method	Description
static DependencySchema	DependencySchemaFactory.createDependencySchema(DependencySchemaSpec dependencySchemaSpec, Set<Predicate> relationalSchema)

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation with type arguments of type Predicate

Modifier	Constructor	Description
	DependencySchemaBuilder(Set<Predicate> relationalSchema)

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser

Method parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser with type arguments of type Predicate

Modifier and Type	Method	Description
DependencySchema	DependencySchemaParser.parse(String schemaString, Set<Predicate> relationalSchema)

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

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

Modifier and Type	Class	Description
class	MutablePredicate	Mutable implementation of a logic predicate.

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return Predicate

Modifier and Type	Method	Description
Predicate	Atom.getPredicate()
Predicate	OrdinaryLiteral.getPredicate()
Predicate	LogicSchema.getPredicateByName(String predicateName)
Predicate	PredicatePosition.predicate()	Returns the value of the predicate record component.

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return types with arguments of type Predicate

Modifier and Type	Method	Description
Set<Predicate>	LogicSchema.getAllDerivedPredicates()
Set<Predicate>	Level.getAllPredicates()
Set<Predicate>	LogicSchema.getAllPredicates()

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Predicate

Modifier and Type	Method	Description
int	LevelHierarchy.getLevelIndexOfPredicate(Predicate predicate)	May throw exception if predicate is not contained in the hierarchy
Level	LevelHierarchy.getLevelOfPredicate(Predicate predicate)	May throw exception if predicate is not contained in the hierarchy

Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Predicate

Modifier	Constructor	Description
	Atom(Predicate predicate, List<Term> terms)
	PredicatePosition(Predicate predicate, int position)	Creates an instance of a PredicatePosition record class.

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Predicate

Modifier	Constructor	Description
	Level(Set<Predicate> predicates)
	LogicSchema(Set<Predicate> predicates, Set<LogicConstraint> constraints)

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

Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions with parameters of type Predicate

Modifier	Constructor	Description
	PredicateIsNotDerivedException(Predicate predicate)	Constructs an PredicateIsNotDerivedException with one argument indicating the base predicate.
	PredicateNotInLevelException(Predicate predicate)	Constructs an PredicateNotInLevelException with one argument indicating the predicate not found in any level.
	PredicateOutsideSchemaException(Predicate predicate)	Constructs an PredicateOutsideSchemaException with one argument indicating the predicate from another schema.

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor with parameters of type Predicate

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(Predicate predicate)

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

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator with parameters of type Predicate

Modifier and Type	Method	Description
static boolean	PredicateComparator.hasSameNameAndArityAs(Predicate p1, Predicate p2)

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism with parameters of type Predicate

Modifier and Type	Method	Description
boolean	IsomorphismComparator.areIsomorphic(Predicate p1, Predicate p2)

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

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation with type arguments of type Predicate

Modifier and Type	Method	Description
LogicSchema	LogicSchemaFactory.createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec, Set<Predicate> relationalSchema)

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation with type arguments of type Predicate

Modifier	Constructor	Description
	LiteralFactory(Map<String,? extends Predicate> predicatesByName)
	LiteralFactory(Map<String,? extends Predicate> predicatesByName, ContextTermFactory contextTermFactory)
	LogicSchemaBuilder(ConstraintIDGenerator<T> constraintIDGenerator, Set<Predicate> predicates)
	QueryBuilder(Set<Predicate> relationalSchema)

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with type arguments of type Predicate

Modifier and Type	Method	Description
static List<PredicateSpec>	LogicSchemaToSpecHelper.buildPredicatesSpecs(Set<Predicate> allPredicates)

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

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser with type arguments of type Predicate

Modifier and Type	Method	Description
LogicSchema	LogicSchemaParser.parse(String schemaString, Set<Predicate> relationalSchema)
List<Query>	QueryParser.parse(String queriesString, Set<Predicate> relationalSchema)

Uses of Predicate in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer with parameters of type Predicate

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(Predicate predicate)