Public Member Functions | Protected Member Functions
utils.SortedIntList Class Reference

List of all members.

Public Member Functions

boolean addSorted (int item)
Object clone ()
boolean contains (int n)
boolean contains (Object o)
boolean equals (Object anObject)
int getFirstInt ()
int getLastInt ()
boolean intersection (SortedIntList other, SortedIntList intersectionSet)
boolean intersects (SortedIntList other)
SortedIntList join (SortedIntList other)
boolean properSubsetOf (SortedIntList other)
boolean subsetOf (SortedIntList other)
SortedIntList subtract (SortedIntList other)
String toString ()

Protected Member Functions

boolean invariant ()
boolean isSorted ()
boolean postcond_intersection (SortedIntList other, boolean result, SortedIntList intersectionSet)
boolean postcond_intersects (SortedIntList other, boolean result)
boolean postcond_properSubsetOf (SortedIntList other, boolean result)
boolean postcond_subsetOf (SortedIntList other, boolean result)
boolean uniqueElements ()

Detailed Description

Definition at line 47 of file SortedIntList.java.


Member Function Documentation

boolean utils.SortedIntList.addSorted ( int  item) [inline]

Use this method to add an integer to the sorted list (Insertion Sort algorithm). Returns false if the item is already in the list.

Definition at line 100 of file SortedIntList.java.

Object utils.SortedIntList.clone ( ) [inline]

Definition at line 50 of file SortedIntList.java.

boolean utils.SortedIntList.contains ( int  n) [inline]

Definition at line 142 of file SortedIntList.java.

boolean utils.SortedIntList.contains ( Object  o) [inline]

Definition at line 161 of file SortedIntList.java.

boolean utils.SortedIntList.equals ( Object  anObject) [inline]

Returns true iff anObject is a SortedIntList containing the same integers as this list.

Definition at line 171 of file SortedIntList.java.

Definition at line 130 of file SortedIntList.java.

Definition at line 136 of file SortedIntList.java.

boolean utils.SortedIntList.intersection ( SortedIntList  other,
SortedIntList  intersectionSet 
) [inline]

Returns if this set intersects the other set. If false, then intersectionSet stays empty. Otherwise, intersectionSet will contain all items which are in both lists.

Definition at line 381 of file SortedIntList.java.

boolean utils.SortedIntList.intersects ( SortedIntList  other) [inline]

Returns true iff the set of integers of this list "hits" the set of integers of the other list, i.e. if the intersection of this and the other list is not empty.

Definition at line 446 of file SortedIntList.java.

boolean utils.SortedIntList.invariant ( ) [inline, protected]

Definition at line 92 of file SortedIntList.java.

boolean utils.SortedIntList.isSorted ( ) [inline, protected]

Definition at line 57 of file SortedIntList.java.

Creates a new list which contains each integer which is in this and/or the other list.

Definition at line 251 of file SortedIntList.java.

boolean utils.SortedIntList.postcond_intersection ( SortedIntList  other,
boolean  result,
SortedIntList  intersectionSet 
) [inline, protected]

Definition at line 516 of file SortedIntList.java.

boolean utils.SortedIntList.postcond_intersects ( SortedIntList  other,
boolean  result 
) [inline, protected]

Definition at line 501 of file SortedIntList.java.

boolean utils.SortedIntList.postcond_properSubsetOf ( SortedIntList  other,
boolean  result 
) [inline, protected]

Definition at line 561 of file SortedIntList.java.

boolean utils.SortedIntList.postcond_subsetOf ( SortedIntList  other,
boolean  result 
) [inline, protected]

Definition at line 546 of file SortedIntList.java.

Returns true iff the integers in this list form a proper subset of the integers in the other list.

Definition at line 326 of file SortedIntList.java.

boolean utils.SortedIntList.subsetOf ( SortedIntList  other) [inline]

Returns true iff the integers in this list are a subset (proper or improper) of the integers in the other list.

Definition at line 270 of file SortedIntList.java.

Creates a new list which contains all integers which are element of this list and not element of the other list.

Definition at line 205 of file SortedIntList.java.

String utils.SortedIntList.toString ( ) [inline]

Definition at line 577 of file SortedIntList.java.

boolean utils.SortedIntList.uniqueElements ( ) [inline, protected]

Definition at line 73 of file SortedIntList.java.


The documentation for this class was generated from the following file:


tug_ist_diagnosis_engine
Author(s): Safdar Zaman, Gerald Steinbauer
autogenerated on Mon Jan 6 2014 11:51:16