org.evosuite.symbolic.vm

Class ConstraintNormalizer

java.lang.Object

org.evosuite.symbolic.vm.ConstraintNormalizer

public final class ConstraintNormalizer
extends Object

Transforms an IntegerConstraint into its corresponding StringConstriant, RealConstraint or IntegerConstraint

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
ConstraintNormalizer()

Method Summary

Modifier and Type	Method and Description
static Constraint<?>	normalize(IntegerConstraint c) Transforms an IntegerConstraint into a corresponding StringConstraint, RealConstraint or IntegerConstraint.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintNormalizer

public ConstraintNormalizer()

Method Detail

normalize

public static Constraint<?> normalize(IntegerConstraint c)

Transforms an IntegerConstraint into a corresponding StringConstraint, RealConstraint or IntegerConstraint.

Parameters:

c - a constraint to be normalized

Returns: