src/bindings/compat/java/src/cvc3/ContextMut.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package cvc3;

import java.util.*;

public class ContextMut extends Context {
    // jni methods
    
    
    /// Constructor

    // create embedded object
    public ContextMut(Object ContextMut, EmbeddedManager embeddedManager) {
	super(ContextMut, embeddedManager);
    }

    
    /// API (mutable)
}