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);
}
