forge.translate
Class SymbolicExecutor.BranchHook

java.lang.Object
  extended by 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()