GroundingCallback.java
Go to the documentation of this file.00001 /* 00002 * To change this template, choose Tools | Templates 00003 * and open the template in the editor. 00004 */ 00005 00006 package edu.tum.cs.srl.mln; 00007 00008 import edu.tum.cs.logic.sat.weighted.WeightedFormula; 00009 00010 00011 00016 public interface GroundingCallback { 00017 00018 public void onGroundedFormula(WeightedFormula wf, MarkovRandomField mrf) throws Exception; 00019 00020 }