public BoogieWhileCmd(BoogieExpr guard, BoogieStmtList body, List <BoogiePredicateCmd> invariants) { this.Guard = guard; this.Body = body; this.Invariants = invariants; }
public BoogieImplementation(string name, List <BoogieVariable> inParams, List <BoogieVariable> outParams, List <BoogieVariable> localVars, BoogieStmtList stmts) { this.Name = name; this.InParams = inParams; this.OutParams = outParams; this.LocalVars = localVars; this.StructuredStmts = stmts; }
public BoogieIfCmd(BoogieExpr guard, BoogieStmtList thenBody, BoogieStmtList elseBody) { this.Guard = guard; this.ThenBody = thenBody; this.ElseBody = elseBody; }