srldb: IVariableLogicCoupler.java Source File

00001 package edu.tum.cs.srl.bayesnets.bln.coupling;
00002 
00003 import edu.tum.cs.logic.GroundLiteral;
00004 import edu.tum.cs.logic.PossibleWorld;
00005 import edu.tum.cs.logic.WorldVariables;
00006 
00012 public interface IVariableLogicCoupler {
00013         public int getValue(PossibleWorld w);           
00014         public void setValue(PossibleWorld w, int domIdx);
00015         public GroundLiteral getGroundLiteral(int domIdx, WorldVariables worldVars);
00016         public Iterable<String> getOriginalParams();
00017 }