1 package cvc3;
2 
3 import java.util.*;
4 
5 public class ContextMut extends Context {
6     // jni methods
7 
8 
9     /// Constructor
10 
11     // create embedded object
ContextMut(Object ContextMut, EmbeddedManager embeddedManager)12     public ContextMut(Object ContextMut, EmbeddedManager embeddedManager) {
13 	super(ContextMut, embeddedManager);
14     }
15 
16 
17     /// API (mutable)
18 }
19