Java SMTRunnerTreeBuilder.performUpdate示例

示例#1

 /** for java unit tests */
 public void performUpdate() {
   myTreeBuilder.performUpdate();
 }