public void Populate(ConditionalSet conditionalSet, ConditionalSet defaultConditionalSet) { this._conditionalSet = conditionalSet; this._defaultConditionalSet = defaultConditionalSet; PopulateBlocks(); }
internal static (ConditionalSet one, ConditionalSet another) MergeToOneVariable (ConditionalSet one, ConditionalSet another) { var stat1 = another.Predicate.Substitute(another.Var, one.Var); return(one, (ConditionalSet)another.New(one.Var, stat1)); }
public void PasteConditionalSet(ConditionalSet conditionalSet) { if ((_conditionalSetIndex >= 0) && (conditionalSet != null)) { _conditionalSets[_conditionalSetIndex] = conditionalSet.Copy(); _conditionalSets[_conditionalSetIndex].Index = _conditionalSetIndex; PopulateSets(_conditionalSetIndex); } }
internal static Set SetSubtractCSetAndCSet(ConditionalSet intLeft, ConditionalSet intRight) { (intLeft, intRight) = MergeToOneVariable(intLeft, intRight); return(new ConditionalSet(intLeft.Var, (intLeft.Predicate & !intRight.Predicate).InnerSimplified)); }
private void Test(Set actual, ConditionalSet expected) { var csetAct = Assert.IsType <ConditionalSet>(actual.Simplify()); Assert.Equal(expected, csetAct); }