Esempio n. 1
0
        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));
        }
Esempio n. 2
0
 public FenceInstruction(AtomicConstraint constraint)
 {
     Constraint = constraint;
 }
 public DisjunctiveConstraint(AtomicConstraint disjunct1, AtomicConstraint disjunct2)
 {
     Disjunct1 = disjunct1;
     Disjunct2 = disjunct2;
 }