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

Packages that use PredicatePosition

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

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

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers that return types with arguments of type PredicatePosition

Modifier and Type	Method	Description
static Set<PredicatePosition>	WeaklyGuardedChecker.getAffectedPositions(DependencySchema dependencySchema)	This method implements the affected positions definition given in IEEE Symposion on Logic in Computer Science 2010 "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications" by Cali, et al.

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

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

Modifier and Type	Method	Description
Set<PredicatePosition>	ImmutableAtomList.getPredicatePositionsWithVar(Variable variable)
Set<PredicatePosition>	ImmutableLiteralsList.getPredicatePositionsWithVar(Variable variable)