From c2896a7aa3a8d7685545496ed094cdde7d7d6578 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 a34fe284..0b8594d3 100644 --- a/prism/src/explicit/StateValues.java +++ b/prism/src/explicit/StateValues.java @@ -497,6 +497,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}. */