Uses of Class
de.upb.swt.mcie.robdds.IncorrectUseException

Packages that use IncorrectUseException
de.upb.swt.mcie.robdds This package implements reduced ordered binary decision diagrams (ROBDDs). 
 

Uses of IncorrectUseException in de.upb.swt.mcie.robdds
 

Constructors in de.upb.swt.mcie.robdds that throw IncorrectUseException
ChangeSet(Context context, Variable[] variables)
          Constructs a set of variables in a given context.