forge.translate
Class SymbolicExecutor.BranchHook

java.lang.Object
  forge.translate.SymbolicExecutor.BranchHook

Enclosing class:

SymbolicExecutor

public final class SymbolicExecutor.BranchHook
extends java.lang.Object

Callback hook for the merge method.

Method Summary

kodkod.ast.Formula	cond()
kodkod.ast.Formula	notCond()

Methods inherited from class java.lang.Object

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

Method Detail

cond

public kodkod.ast.Formula cond()

notCond

public kodkod.ast.Formula notCond()