Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package rwth.i2.ltlrv.data

Holds some special data structures.

See:
          Description

Interface Summary
WeakValuesMap<K,V> A map supporting weak values.
 

Class Summary
PropositionSet PropositionSet - A set of proposition with some additional functionality.
WeakValuesHashMap<K,V> HashMap with weak keys.
WeakValuesMap.Util Provides access to an empty map.
 

Package rwth.i2.ltlrv.data Description

Holds some special data structures.

Author:
Eric Bodden
Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES