C# (CSharp) Tacny ProofState.AddStatement示例

示例#1

 /// <summary>
 /// Insert the statement as is into the state
 /// </summary>
 /// <param name="stmt"></param>
 /// <param name="state"></param>
 /// <returns></returns>
 private static IEnumerable <ProofState> DefaultAction(Statement stmt, ProofState state)
 {
     Contract.Requires <ArgumentNullException>(stmt != null, "stmt");
     Contract.Requires <ArgumentNullException>(state != null, "state");
     state.AddStatement(stmt);
     yield return(state.Copy());
 }

示例#2

文件： Interpreter.cs 项目： ggrov/tacny

 /// <summary>
 /// Insert the statement as is into the state
 /// </summary>
 /// <param name="stmt"></param>
 /// <param name="state"></param>
 /// <returns></returns>
 private static IEnumerable<ProofState> DefaultAction(Statement stmt, ProofState state) {
   Contract.Requires<ArgumentNullException>(stmt != null, "stmt");
   Contract.Requires<ArgumentNullException>(state != null, "state");
   state.AddStatement(stmt);
   yield return state.Copy();
 }