Examples of cvc3.Embedded

cvc3.Expr
Wrapper for a c++ object as a java Object. see README for details on garbage collection, i.e. interplay of delete, finalize, and EmbeddedManager to destruct the embedded c++ object.

    public ExprManagerMut getExprManager() throws Cvc3Exception {
  return new ExprManagerMut(jniGetExprManager(embedded()), embeddedManager());
    }


    public Expr nullExpr() throws Cvc3Exception {
  return new Expr(jniNullExpr(embedded()), embeddedManager());
    }

View Full Code Here

TOP

Related Classes of cvc3.Embedded

com.avaje.ebean.bean.EntityBean

com.springsource.greenhouse.database.DatabaseUpgrader

cvc3.Expr

cvc3.ValidityChecker

org.springframework.core.io.ClassPathResource

org.springframework.data.LocalFileStorage

org.springframework.jdbc.datasource.embedded.EmbeddedDatabaseFactory

playn.core.CanvasImage

pythagoras.f.Dimension

java.lang.reflect.Constructor

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.