Package daikon

Class PptSlice0

Object

Ppt

PptSlice

PptSlice0

All Implemented Interfaces:

Serializable

public class PptSlice0
extends PptSlice

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class PptSlice

PptSlice.ArityPptnameComparator, PptSlice.ArityVarnameComparator

Nested classes/interfaces inherited from class Ppt

Ppt.NameComparator

Field Summary

Fields inherited from class PptSlice

debug, debugFlow, debugGeneral, debugGuarding, invs, lineSep, parent

Fields inherited from class Ppt

emptyInvList, var_infos

Method Summary

Modifier and Type	Method	Description
List<Invariant>	add(ValueTuple vt, int count)
void	addInvariant(Invariant inv)	The invariant is typically an Implication; but PptSlice0 can contain other joiners than implications, such as "and" or "or".
int	arity()
void	checkRep()
boolean	hasImplication(Implication imp)
static PptSlice	makeFakePrestate(PptSlice sliceTemplate)
int	num_mod_samples()
int	num_samples()	Return an approximation of the number of samples seen on this slice.
int	num_values()	Return an approximation of the number of distinct values seen on this slice.
void	removeInvariant(Invariant inv)	This method actually removes the invariant from its PptSlice.
void	removeInvariants(List<Invariant> to_remove)

Methods inherited from class PptSlice

allPrestate, contains_inv, contains_inv_exact, containsOnlyGuardingPredicates, copy_new_invs, find_inv_by_class, find_inv_exact, is_inv_true, log, name, processOmissions, remove_falsified, repCheck, toString, usesVar, usesVar, usesVarDerived

Methods inherited from class Ppt

containsVar, find_var_by_name, indexOf, trimToSize, varNames, varNames

Methods inherited from class Object

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

Method Detail

arity

public final int arity(@UnknownInitialization(PptSlice.class) PptSlice0 this)

Specified by:

arity in class PptSlice

makeFakePrestate

public static PptSlice makeFakePrestate(PptSlice sliceTemplate)

checkRep

public void checkRep()

addInvariant

public void addInvariant(Invariant inv)

The invariant is typically an Implication; but PptSlice0 can contain other joiners than implications, such as "and" or "or". That feature isn't used as of November 2003.

Specified by:

addInvariant in class PptSlice

removeInvariant

public void removeInvariant(Invariant inv)

Description copied from class: PptSlice

This method actually removes the invariant from its PptSlice.

Overrides:

removeInvariant in class PptSlice

removeInvariants

public void removeInvariants(List<Invariant> to_remove)

Overrides:

removeInvariants in class PptSlice

hasImplication

public boolean hasImplication(Implication imp)

num_samples

public int num_samples(@UnknownInitialization @GuardSatisfied PptSlice0 this)

Description copied from class: PptSlice

Return an approximation of the number of samples seen on this slice.

Specified by:

num_samples in class PptSlice

num_mod_samples

public int num_mod_samples()

num_values

public int num_values()

Description copied from class: PptSlice

Return an approximation of the number of distinct values seen on this slice.

Specified by:

num_values in class PptSlice

add

public List<Invariant> add(ValueTuple vt,
                           int count)