Example #1
0
 public static NewFormula New(ConstructorInfo constructor, ReadOnlyCollection<Formula> arguments)
 {
     return New(constructor.ToConstructorDecl(), arguments);
 }
Example #2
0
 public NewFormula(ConstructorInfo ci, Formula[] arguments)
 {
     Constructor = ci.ToConstructorDecl();
     arguments.AddRangeTo(Arguments);
 }