Module dev.civl.sarl

Package dev.civl.sarl.simplify.IF

Class Simplify

java.lang.Object

dev.civl.sarl.simplify.IF.Simplify

public class Simplify
extends Object

Entry point for module "simplify", providing static method to create basic range factories and context partitions

Constructor Summary

Constructors

Constructor	Description
Simplify()

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Simplify

public Simplify()

Method Details

newIntervalUnionFactory

public static RangeFactory newIntervalUnionFactory()

newContextPartition

public static ContextPartition newContextPartition(PreUniverse universe,
 List<BooleanExpression> contextStack)