• Home
• org.overturetool.core
• pog
• 2.4.4
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ool.core.pog.2.4.4.source-code.pof.ast.tostring Maven / Gradle / Ivy

To String Extensions
// import packages used by external $$ java code
//import org.overture.pof.util.PoStringUtil;

// Proof Obligations
%poTree->vdm=""+[predicate]