C# (CSharp) Microsoft.Armada PredicateBuilder.AddVariableDeclarationの例

コード例 #1

 public Expression AddVariableDeclaration(string varName, Expression value)
 {
     return(builder.AddVariableDeclaration(varName, value));
 }

コード例 #2

ファイル: NextRoutine.cs プロジェクト: b-xiang/Armada

 public string AddVariableDeclaration(string varName, string value)
 {
     validDefinedStepBuilder.AddVariableDeclaration(varName, value);
     validUndefinedStepBuilder.AddVariableDeclaration(varName, value);
     return(getNextStateBuilder.AddVariableDeclaration(varName, value));
 }

コード例 #3

ファイル: ConstraintCollector.cs プロジェクト: b-xiang/Armada

 public string AddVariableDeclaration(string varName, string value)
 {
     return(builder.AddVariableDeclaration(varName, value));
 }

コード例 #4

 public Expression AddVariableDeclaration(string varName, Expression value)
 {
     validStepBuilder.AddVariableDeclaration(varName, value);
     crashAvoidanceBuilder.AddVariableDeclaration(varName, value);
     return(getNextStateBuilder.AddVariableDeclaration(varName, value));
 }