BitSet function ( ) { return states ; }
get the state set of this element if kind is one of inf , fin , inf_not , fin_not . concode_field_sep AcceptanceGeneric right concode_elem_sep ElementType kind concode_elem_sep BitSet states concode_elem_sep AcceptanceGeneric left concode_field_sep String getSignatureForStateHOA concode_elem_sep int countAcceptanceSets concode_elem_sep AcceptanceGeneric toAcceptanceGeneric concode_elem_sep AcceptanceOmegaDD toAcceptanceDD concode_elem_sep void outputHOAHeader concode_elem_sep String getSignatureForState concode_elem_sep ElementType getKind concode_elem_sep String getTypeAbbreviated concode_elem_sep List<AcceptanceGeneric> getLeafNodes concode_elem_sep String getSizeStatistics concode_elem_sep AcceptanceGeneric getRight concode_elem_sep boolean isBSCCAccepting concode_elem_sep AcceptanceType getType concode_elem_sep AcceptanceGeneric clone concode_elem_sep AcceptanceGeneric complementToGeneric concode_elem_sep void lift concode_elem_sep int outputHOAFormula concode_elem_sep String toString concode_elem_sep String getTypeName concode_elem_sep AcceptanceOmega complement concode_elem_sep AcceptanceGeneric getLeft