Searched refs:booleanAtomicFormula (Results 1 – 2 of 2) sorted by relevance
141 AtomicFormula.BooleanAtomicFormula booleanAtomicFormula = in createIsTrueFormula_preInstalled() local144 assertThat(booleanAtomicFormula.getKey()).isEqualTo(AtomicFormula.PRE_INSTALLED); in createIsTrueFormula_preInstalled()145 assertThat(booleanAtomicFormula.getValue()).isTrue(); in createIsTrueFormula_preInstalled()192 AtomicFormula.BooleanAtomicFormula booleanAtomicFormula = in createIsTrueFormula_stampNotTrusted() local195 assertThat(booleanAtomicFormula.getKey()).isEqualTo(AtomicFormula.STAMP_TRUSTED); in createIsTrueFormula_stampNotTrusted()196 assertThat(booleanAtomicFormula.getValue()).isFalse(); in createIsTrueFormula_stampNotTrusted()
254 AtomicFormula.BooleanAtomicFormula booleanAtomicFormula = in serializeAtomicFormula() local257 serializeBooleanValue(booleanAtomicFormula.getValue(), bitOutputStream); in serializeAtomicFormula()