예제 #1
0
파일: Clause.cs 프로젝트: renestein/SAT 
 public Clause(List <Literal> literals)
 {
     Literals = literals ?? throw new ArgumentNullException(nameof(literals));
     Literals.Sort();
 }