eu.bandm.sig.semantics
Class Normalizer

java.lang.Object
  eu.bandm.sig.semantics.Normalizer

public class Normalizer
extends Object

Constructor Summary

Normalizer()

Method Summary

Net	netify(Constraint c)
Constraint	normalize(Constraint c)
Constant	normalizeDefinition(Expression e)
static Test	testify(Net n)

Methods inherited from class java.lang.Object

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

Constructor Detail

Normalizer

public Normalizer()

Method Detail

netify

public Net netify(Constraint c)

testify

public static Test testify(Net n)

normalize

public Constraint normalize(Constraint c)

normalizeDefinition

public Constant normalizeDefinition(Expression e)