io.github.cvc5

Class Context

java.lang.Object

io.github.cvc5.Context

public class Context
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Context()

Method Summary

Modifier and Type	Method and Description
static void	deletePointers() Delete all cpp pointers for terms, sorts, etc

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Context

public Context()

Method Detail

deletePointers

public static void deletePointers()

Delete all cpp pointers for terms, sorts, etc