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