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

PptTopLevel

parent

Fields inherited from class PptTopLevel

bb_length, children, combined_ppt, combined_ppts_init, combined_subsumed, combined_subsumed_by, constants, debug, debug_varinfo, debugAddImplications, debugConditional, debugEqualTo, debugFlow, debugInstantiate, debugMerge, debugNISStats, debugTimeMerge, dkconfig_pairwise_implications, dkconfig_remove_merged_invs, equality_view, first_pass_with_sample, flags, function_id, icfp, in_merge, instantiated_inv_cnt, instantiated_slice_cnt, invariants_merged, invariants_removed, joiner_view, last_values, name, num_declvars, num_orig_vars, num_static_constant_vars, num_tracevars, parent_relations, parents, ppt_name, ppt_successors, predecessors, redundant_invs, redundant_invs_equality, splitters, type

Fields inherited from class Ppt

emptyInvList, var_infos

Constructor Summary

PptConditional(PptTopLevel parent, Splitter splitter, boolean splitter_inverse)

Method Summary

DummyInvariant	dummyInvariant()
boolean	splitter_valid()

Methods inherited from class PptTopLevel

add_bottom_up, addConditions, addImplications, addSlice, addViews, all_predecessors_goto, all_predecessors_goto, all_successors_goto, all_successors_goto, bb_offset, build_permute, check_implied_canonical, check_implied_canonical, check_implied_canonical, check_implied, check_implied, check_implied, clean_for_merge, cond_iterator, connected, connected, 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_combined_ppt_leader, find_inv_by_class, findSlice_unordered, findSlice_unordered, findSlice_unordered, findSlice, findSlice, findSlice, findSlice, 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, has_parent, has_splitters, incSampleNumber, instantiate_views_and_invariants, inv_add, invariant_cnt_by_class, invariant_cnt, invariants_iterator, invariants_vector, is_basic_block, 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_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

Constructor Detail

PptConditional

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

Method Detail

splitter_valid

public boolean splitter_valid()

dummyInvariant

public DummyInvariant dummyInvariant()