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;
}