Package de.uzl.its.swat.symbolic.value

Class Value<T,K>

java.lang.Object
de.uzl.its.swat.symbolic.value.Value<T,K>
Direct Known Subclasses:
LambdaPlaceHolder, NumericalValue, ObjectValue, PlaceHolder, VoidValue
public abstract class Value<T,K> extends Object
Abstract value of any type. Base class for the concrete values.

  • Field Details

    • symbol

      protected static int symbol

    • inc

      protected static final int inc
      See Also:

    • formula

      public T formula

    • concrete

      public K concrete

    • context

      public org.sosy_lab.java_smt.api.SolverContext context

    • name

      protected String name

  • Constructor Details

    • Value

      public Value()

  • Method Details

    • reset

      public static void reset()

    • getType

      public String getType()

    • MAKE_SYMBOLIC

      public String MAKE_SYMBOLIC(String namePrefix)

    • MAKE_SYMBOLIC

      public String MAKE_SYMBOLIC()

    • MAKE_SYMBOLIC

      public String MAKE_SYMBOLIC(long idx)

    • initSymbolic

      protected void initSymbolic(String namePrefix)

    • initSymbolic

      protected void initSymbolic(String namePrefix, long idx)

    • getBounds

      public org.sosy_lab.java_smt.api.BooleanFormula getBounds(boolean upper)

    • getConcrete

      public Object getConcrete()

    • getConcreteEncoded

      public String getConcreteEncoded()

    • asByteValue

      public ByteValue asByteValue()

    • asIntValue

      public IntValue asIntValue()

    • asShortValue

      public ShortValue asShortValue()

    • asDoubleValue

      public DoubleValue asDoubleValue()

    • asBooleanValue

      public BooleanValue asBooleanValue()

    • asCharValue

      public CharValue asCharValue()

    • asObjectValue

      public ObjectValue asObjectValue()

    • asFloatValue

      public FloatValue asFloatValue()

    • asLongValue

      public LongValue asLongValue()

    • asStringValue

      public StringValue asStringValue()

    • asNumericalValue

      public NumericalValue<?,?> asNumericalValue()

    • toString

      public String toString()
      Returns the string representation of the value. Should be implemented by each inheriting class.
      Overrides:
      toString in class Object
      Returns:
      the string representation of the value

    • getName

      public String getName()