コード例 #1
0
ファイル: Clause.cs プロジェクト: renestein/SAT
 public Clause(List <Literal> literals)
 {
     Literals = literals ?? throw new ArgumentNullException(nameof(literals));
     Literals.Sort();
 }