Package daikon

Class PptConditional

Object

Ppt

PptTopLevel

PptConditional

All Implemented Interfaces:

Serializable

public final class PptConditional
extends PptTopLevel

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class PptTopLevel

PptTopLevel.CondIterator, PptTopLevel.PptFlags, PptTopLevel.PptType, PptTopLevel.SimplifyInclusionTester, PptTopLevel.Stats, PptTopLevel.ViewsIteratorIterator

Nested classes/interfaces inherited from class Ppt

Ppt.NameComparator

Field Summary

Fields

Modifier and Type	Field	Description
PptTopLevel	parent
Splitter	splitter
boolean	splitter_inverse

Fields inherited from class PptTopLevel

children, constants, debug, debugAddImplications, debugConditional, debugEqualTo, debugFlow, debugInstantiate, debugMerge, debugNISStats, debugTimeMerge, dkconfig_pairwise_implications, dkconfig_remove_merged_invs, equality_view, first_pass_with_sample, flags, icfp, in_merge, instantiated_inv_cnt, instantiated_slice_cnt, invariants_merged, invariants_removed, joiner_view, name, num_declvars, num_orig_vars, num_static_constant_vars, num_tracevars, parent_relations, parents, ppt_name, redundant_invs, redundant_invs_equality, splitters, type

Fields inherited from class Ppt

emptyInvList, var_infos

Constructor Summary

Constructors

Constructor	Description
PptConditional(PptTopLevel parent, Splitter splitter, boolean splitter_inverse)

Method Summary

Modifier and Type	Method	Description
@Nullable DummyInvariant	dummyInvariant()
boolean	splitter_valid()

Methods inherited from class PptTopLevel

add_bottom_up, addConditions, addImplications, addSlice, addViews, build_permute, check_implied, check_implied, check_implied, check_implied_canonical, check_implied_canonical, check_implied_canonical, clean_for_merge, cond_iterable, cond_iterator, const_inv_cnt, const_slice_cnt, create_derived_variables, create_equality_inv, debug_invs, debug_print_slice_info, debug_print_tree, debug_unary_info, debugSlices, equality_sets_txt, find_assignment_inv, find_inv_by_class, findSlice, findSlice, findSlice, findSlice, findSlice_unordered, findSlice_unordered, findSlice_unordered, format_simplify_problem, get_missingOutOfBounds, get_or_instantiate_slice, get_or_instantiate_slice, get_or_instantiate_slice, get_or_instantiate_slice, get_temp_slice, get_temp_slice, getInvariants, getParamVars, getProverStack, has_parent, has_splitters, incSampleNumber, instantiate_views_and_invariants, inv_add, invariant_cnt, invariant_cnt_by_class, invariants_iterator, invariants_vector, is_class, is_combined_exit, is_constant, is_empty, is_enter, is_equal, is_exit, is_less_equal, is_missing, is_nonzero, is_object, is_prev_constant, is_prev_missing, is_slice_ok, is_slice_ok, is_slice_ok, is_slice_ok, is_subexit, is_subsequence, is_subset, mark_implied_via_simplify, merge_conditionals, merge_invs_multiple_children, merge_invs_one_child, mergeInvs, name, num_array_vars, num_samples, num_samples, num_samples, num_samples, num_values, num_values, num_values, numViews, parent_vis, postProcessEquality, print_equality_stats, processOmissions, remove_child_invs, remove_equality_invariants, remove_implications, remove_invs, removeSlice, repCheck, simplify_variable_names, slice_cnt, toString, trimToSize, var_info_iterator, var_names, views_iterable, views_iterator, vis_order_ok, worthDerivingFrom

Methods inherited from class Ppt

containsVar, find_var_by_name, indexOf, varNames, varNames

Methods inherited from class Object

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

Field Detail

parent

public PptTopLevel parent

splitter

public transient Splitter splitter

splitter_inverse

public boolean splitter_inverse

Constructor Detail

PptConditional

public PptConditional(PptTopLevel parent,
                      Splitter splitter,
                      boolean splitter_inverse)

Method Detail

splitter_valid

public boolean splitter_valid()

dummyInvariant

public @Nullable DummyInvariant dummyInvariant()