daikon.inv.ternary.threeScalar
Class FunctionBinary.MinimumLong_zxy

Object
  Invariant
      TernaryInvariant
          ThreeScalar
              FunctionBinary
                  FunctionBinary.MinimumLong_zxy

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

FunctionBinary

public static class FunctionBinary.MinimumLong_zxy
extends FunctionBinary

Represents the invariant z = Minimum (x, y) over three long scalars.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class FunctionBinary

FunctionBinary.BitwiseAndLong_xyz, FunctionBinary.BitwiseAndLong_yxz, FunctionBinary.BitwiseAndLong_zxy, FunctionBinary.BitwiseOrLong_xyz, FunctionBinary.BitwiseOrLong_yxz, FunctionBinary.BitwiseOrLong_zxy, FunctionBinary.BitwiseXorLong_xyz, FunctionBinary.BitwiseXorLong_yxz, FunctionBinary.BitwiseXorLong_zxy, FunctionBinary.DivisionLong_xyz, FunctionBinary.DivisionLong_xzy, FunctionBinary.DivisionLong_yxz, FunctionBinary.DivisionLong_yzx, FunctionBinary.DivisionLong_zxy, FunctionBinary.DivisionLong_zyx, FunctionBinary.GcdLong_xyz, FunctionBinary.GcdLong_yxz, FunctionBinary.GcdLong_zxy, FunctionBinary.LogicalAndLong_xyz, FunctionBinary.LogicalAndLong_yxz, FunctionBinary.LogicalAndLong_zxy, FunctionBinary.LogicalOrLong_xyz, FunctionBinary.LogicalOrLong_yxz, FunctionBinary.LogicalOrLong_zxy, FunctionBinary.LogicalXorLong_xyz, FunctionBinary.LogicalXorLong_yxz, FunctionBinary.LogicalXorLong_zxy, FunctionBinary.LshiftLong_xyz, FunctionBinary.LshiftLong_xzy, FunctionBinary.LshiftLong_yxz, FunctionBinary.LshiftLong_yzx, FunctionBinary.LshiftLong_zxy, FunctionBinary.LshiftLong_zyx, FunctionBinary.MaximumLong_xyz, FunctionBinary.MaximumLong_yxz, FunctionBinary.MaximumLong_zxy, FunctionBinary.MinimumLong_xyz, FunctionBinary.MinimumLong_yxz, FunctionBinary.MinimumLong_zxy, FunctionBinary.ModLong_xyz, FunctionBinary.ModLong_xzy, FunctionBinary.ModLong_yxz, FunctionBinary.ModLong_yzx, FunctionBinary.ModLong_zxy, FunctionBinary.ModLong_zyx, FunctionBinary.MultiplyLong_xyz, FunctionBinary.MultiplyLong_yxz, FunctionBinary.MultiplyLong_zxy, FunctionBinary.PowerLong_xyz, FunctionBinary.PowerLong_xzy, FunctionBinary.PowerLong_yxz, FunctionBinary.PowerLong_yzx, FunctionBinary.PowerLong_zxy, FunctionBinary.PowerLong_zyx, FunctionBinary.RshiftSignedLong_xyz, FunctionBinary.RshiftSignedLong_xzy, FunctionBinary.RshiftSignedLong_yxz, FunctionBinary.RshiftSignedLong_yzx, FunctionBinary.RshiftSignedLong_zxy, FunctionBinary.RshiftSignedLong_zyx, FunctionBinary.RshiftUnsignedLong_xyz, FunctionBinary.RshiftUnsignedLong_xzy, FunctionBinary.RshiftUnsignedLong_yxz, FunctionBinary.RshiftUnsignedLong_yzx, FunctionBinary.RshiftUnsignedLong_zxy, FunctionBinary.RshiftUnsignedLong_zyx

Nested classes/interfaces inherited from class Invariant

Invariant.ClassVarnameComparator, Invariant.ClassVarnameFormulaComparator, Invariant.InvariantComparatorForPrinting, Invariant.Match

Field Summary

Fields inherited from class FunctionBinary

debug, dkconfig_enabled

Fields inherited from class Invariant

CONFIDENCE_JUSTIFIED, CONFIDENCE_NEVER, CONFIDENCE_UNJUSTIFIED, debugFlow, debugGuarding, debugIsObvious, debugIsWorthPrinting, debugPrint, debugPrintEquality, dkconfig_confidence_limit, dkconfig_fuzzy_ratio, dkconfig_simplify_define_predicates, falsified, isGuardingPredicate, min_mod_non_missing_samples, ppt, PROBABILITY_JUSTIFIED, PROBABILITY_NEVER, PROBABILITY_UNJUSTIFIED

Constructor Summary

FunctionBinary.MinimumLong_zxy()

Method Summary

InvariantStatus	add_modified(long x, long y, long z, int count) This method need not check for falsified; that is done by the caller.
InvariantStatus	check_modified(long x, long y, long z, int count)
long	func(long x, long y)
int	get_function_id()
String[]	get_method_name()
NISuppressionSet	get_ni_suppressions() Returns a list of non-instantiating suppressions for this invariant.
static FunctionBinary.MinimumLong_zxy	get_proto() Returns the prototype invariant for MinimumLong_zxy
int	get_var_order()
protected FunctionBinary.MinimumLong_zxy	instantiate_dyn(PptSlice slice) instantiate an invariant on the specified slice
boolean	is_symmetric()
boolean	isMinimum()
void	set_function_id(int function_id)

Methods inherited from class FunctionBinary

add_ordered, argVar1, argVar2, check_ordered, computeConfidence, enabled, format_simplify, format_using, get_proto_all, instantiate_ok, isBitwiseAnd, isBitwiseOr, isBitwiseXor, isDivision, isGcd, isLogicalAnd, isLogicalOr, isLogicalXor, isLshift, isMaximum, isMod, isMultiply, isObviousDynamically, isPower, isRshiftSigned, isRshiftUnsigned, isSameFormula, repr, resultVar, resurrect_done

Methods inherited from class ThreeScalar

add_unmodified, add, check_unmodified, check, valid_types, var1, var2, var3

Methods inherited from class Invariant

add_sample, asInvClass, clear_falsified, clone_and_permute, clone, conf_is_ge, confidence_and, confidence_and, confidence_or, createGuardedInvariant, createGuardingPredicate, enoughSamples, falsify, find, format_too_few_samples, format_unimplemented, format, formatFuzzy, get_comparability, getConfidence, getGuardingList, getGuardingList, hasUninterestingConstant, instantiate, is_false, is_ni_suppressed, isActive, isAllPrestate, isExact, isExclusiveFormula, isInteresting, isObvious, isObviousDynamically_SomeInEquality, isObviousDynamically_SomeInEqualityHelper, isObviousDynamically, isObviousStatically_AllInEquality, isObviousStatically_SomeInEquality, isObviousStatically_SomeInEqualityHelper, isObviousStatically, isObviousStatically, isReflexive, isSameInvariant, isValidEscExpression, isValidExpression, isWorthPrinting, justified, log, log, logDetail, logOn, match, merge, mergeFormulasOk, permute, prob_and, prob_and, prob_is_ge, prob_or, repCheck, repr_prob, resurrect, simplify_format_double, simplify_format_long, simplify_format_string, state_match, toString, toString, transfer, usesVar, usesVar, usesVarDerived, varNames

Methods inherited from class Object

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

Constructor Detail

FunctionBinary.MinimumLong_zxy

public FunctionBinary.MinimumLong_zxy()

Method Detail

get_proto

public static FunctionBinary.MinimumLong_zxy get_proto()

Returns the prototype invariant for MinimumLong_zxy

instantiate_dyn

protected FunctionBinary.MinimumLong_zxy instantiate_dyn(PptSlice slice)

instantiate an invariant on the specified slice

Overrides:

instantiate_dyn in class Invariant

Returns:

the new invariant

get_method_name

public String[] get_method_name()

get_function_id

public int get_function_id()

set_function_id

public void set_function_id(int function_id)

get_var_order

public int get_var_order()

is_symmetric

public boolean is_symmetric()

func

public long func(long x,
                 long y)

check_modified

public InvariantStatus check_modified(long x,
                                      long y,
                                      long z,
                                      int count)

Specified by:

check_modified in class ThreeScalar

add_modified

public InvariantStatus add_modified(long x,
                                    long y,
                                    long z,
                                    int count)

Description copied from class: ThreeScalar

This method need not check for falsified; that is done by the caller.

Specified by:

add_modified in class ThreeScalar

isMinimum

public boolean isMinimum()

Overrides:

isMinimum in class FunctionBinary

get_ni_suppressions

public NISuppressionSet get_ni_suppressions()

Returns a list of non-instantiating suppressions for this invariant.

Overrides:

get_ni_suppressions in class Invariant