public class Alpha
extends java.lang.Object
Constructor and Description |
---|
Alpha() |
Modifier and Type | Method and Description |
---|---|
static Value |
toValue(ConcreteValue concreteValue,
GenericSolver.SolverInterface c)
Converts a concrete value to an abstract value.
|
public static Value toValue(ConcreteValue concreteValue, GenericSolver.SolverInterface c)
concreteValue
- value to abstractc
- used for allocating new objectsCopyright © 2009-2019 Aarhus University