Esempi in C# (CSharp) per AutomataPDL.WhileProgram VariableConstraintGenerator

Esempio n. 1

 public UnconstrainedVariableCache(VariableConstraintGenerator constraintGenerator)
     : base(constraintGenerator)
 {
 }

Esempio n. 2

 protected VariableCache(VariableConstraintGenerator constraintGenerator)
 {
     this.constraintGenerator = constraintGenerator;
 }