From 49b38136cedef49ccdc7f94574975aefeb7cc2c0 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Oct 2018 14:26:09 +0200 Subject: [PATCH] imported patch common-smmd-StateValuesAndNot.patch --- prism/src/explicit/StateValues.java | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java index d983a128..d656cedc 100644 --- a/prism/src/explicit/StateValues.java +++ b/prism/src/explicit/StateValues.java @@ -594,6 +594,16 @@ public class StateValues implements StateVector valuesB.flip(0, size); } + /** + * Modify the vector by applying 'andNot' with operand {@code sv}. + */ + public void andNot(StateValues sv) throws PrismException + { + if (!(type instanceof TypeBool) || !(sv.type instanceof TypeBool)) + throw new PrismException("The operator andNot can only be applied to Boolean vectors"); + valuesB.andNot(sv.valuesB); + } + /** * Modify the vector by applying 'equals' with operand {@code sv}. */