org.clafer.ir.analysis

Class ImplicationFlattener

java.lang.Object

org.clafer.ir.analysis.ImplicationFlattener

public class ImplicationFlattener
extends Object

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
static IrModule	flatten(IrModule module) Rewrites expressions so that ands are never directly under the implies consequent and if-then-else are rewritten to implications.

Methods inherited from class java.lang.Object

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

Method Detail

flatten

public static IrModule flatten(IrModule module)

Rewrites expressions so that ands are never directly under the implies consequent and if-then-else are rewritten to implications. Some analysis become easier while others become harder.

Parameters:

module - the module to flatten

Returns:

the flattened module