Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

korat.finitization
Interface IBooleanSet

All Superinterfaces:
IFieldDomain, IPrimitiveTypeSet
All Known Implementing Classes:
BooleanSet
public interface IBooleanSet
extends IPrimitiveTypeSet

IBooleanSet represents field domain for boolean fields

Author:
korat.team

Method Summary
 
Methods inherited from interface korat.finitization.IFieldDomain
getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType
 

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD