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

Packages that use LiteralPosition

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

Uses of LiteralPosition 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 LiteralPosition

Modifier and Type	Method	Description
static Set<LiteralPosition>	StickyMarkingAnalyzer.getStickyMarking(List<TGD> tgds)

Uses of LiteralPosition 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 LiteralPosition

Modifier and Type	Method	Description
Set<LiteralPosition>	ImmutableLiteralsList.getLiteralPositionWithVariable(Variable variable)
Optional<LiteralPosition>	ImmutableLiteralsList.getOriginalLiteralPosition(Literal currentLiteral, int termIndex)