Class ConditionalStratType
java.lang.Object
es.ucm.maude.bindings.ConditionalStratType
Type of a conditional strategy.
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final ConditionalStratTypefull conditional strategystatic final ConditionalStratTypenormalization operator (!)static final ConditionalStratTypenotoperatorstatic final ConditionalStratTypeor-elsestrategy (only failure strategy is non-empty)static final ConditionalStratTypetestoperatorstatic final ConditionalStratTypetryoperator -
Method Summary
Modifier and TypeMethodDescriptionstatic ConditionalStratTypeswigToEnum(int swigValue) final inttoString()
-
Field Details
-
CONDITIONAL
full conditional strategy -
OR_ELSE
or-elsestrategy (only failure strategy is non-empty) -
NORMALIZATION
normalization operator (!) -
TEST
testoperator -
TRY
tryoperator -
NOT
notoperator
-
-
Method Details
-
swigValue
public final int swigValue() -
toString
-
swigToEnum
-