Uses of Interface
dev.civl.sarl.simplify.IF.ContextPartition

Packages that use ContextPartition

Package	Description
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.

Uses of ContextPartition in dev.civl.sarl.simplify.IF

Methods in dev.civl.sarl.simplify.IF that return ContextPartition

Modifier and Type	Method	Description
static ContextPartition	Simplify.newContextPartition(PreUniverse universe, List<BooleanExpression> contextStack)