private static DisjunctiveConstraint ParseDisjunctiveConstraint(int[] ints)
{
if (ints.Length != 4)
{
throw new ArgumentException("Failed to parse Disjunctive Constraint!", nameof(ints));
}
var disjunct1 = new AtomicConstraint(ints[0], ints[1]);
var disjunct2 = new AtomicConstraint(ints[2], ints[3]);
return(new DisjunctiveConstraint(disjunct1, disjunct2));
}
public FenceInstruction(AtomicConstraint constraint)
{
Constraint = constraint;
}
public DisjunctiveConstraint(AtomicConstraint disjunct1, AtomicConstraint disjunct2)
{
Disjunct1 = disjunct1;
Disjunct2 = disjunct2;
}