Uses of Enum Class
dev.civl.abc.ast.value.IF.ValueFactory.Answer

Packages that use ValueFactory.Answer

Package	Description
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of ValueFactory.Answer in dev.civl.abc.ast.value.IF

Methods in dev.civl.abc.ast.value.IF that return ValueFactory.Answer

Modifier and Type	Method	Description
ValueFactory.Answer	Value.isZero()	Is this value zero? Can only be asked of scalar values.
ValueFactory.Answer	ValueFactory.isZero(Value value)	Is the value a zero value? Maybe, maybe not: how to deal? Thm prover time.
static ValueFactory.Answer	ValueFactory.Answer.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ValueFactory.Answer[]	ValueFactory.Answer.values()	Returns an array containing the constants of this enum class, in the order they are declared.