Uses of Class
dev.civl.sarl.IF.CoreUniverse.ForallStructure

Packages that use CoreUniverse.ForallStructure

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.

Uses of CoreUniverse.ForallStructure in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return CoreUniverse.ForallStructure

Modifier and Type	Method	Description
CoreUniverse.ForallStructure	CoreUniverse.getForallStructure(BooleanExpression forallExpr)	Attempts to find a boolean expression equivalent to forallExpr but with the structure