Пример #1
0
                private DisjunctiveRefinement(DisjunctiveRefinement other, Dictionary <Variable, HashSet <Variable> > vars)
                    : this(other)
                {
                    Contract.Requires(other != null);

                    this.varsInAssignment = vars;
                }
Пример #2
0
 private DisjunctiveRefinement(DisjunctiveRefinement other)
     : base(other)
 {
 }