boolean function ( LiteralSet arg0 ) { Iterator loc0 = this . enumerateLiterals ( ) ; while ( loc0 . hasNext ( ) ) { Literal loc1 = ( Literal ) loc0 . next ( ) ; if ( ! arg0 . contains ( loc1 . getNegation ( ) ) ) { return false ; } } return true ; }
test if the negation of this literalset is included in another literalset . concode_field_sep int m_counter concode_elem_sep Literal m_lastLiteral concode_elem_sep int m_numInstances concode_elem_sep ArrayList m_literals concode_elem_sep long serialVersionUID concode_elem_sep ArrayList m_counterInstances concode_elem_sep int m_type concode_field_sep int getCounterInstancesNumber concode_elem_sep boolean overFrequencyThreshold concode_elem_sep Literal getLastLiteral concode_elem_sep boolean isEmpty concode_elem_sep Iterator enumerateLiterals concode_elem_sep boolean counterInstance concode_elem_sep boolean counterInstance concode_elem_sep boolean contains concode_elem_sep boolean hasMaxCounterInstances concode_elem_sep boolean isIncludedIn concode_elem_sep int getType concode_elem_sep boolean canKeep concode_elem_sep Object clone concode_elem_sep void upDate concode_elem_sep String toString concode_elem_sep void addElement concode_elem_sep int numLiterals concode_elem_sep double getCounterInstancesFrequency