srldb: WalkSAT.java Source File

00001 /*
00002  * Created on Nov 3, 2009
00003  *
00004  * TODO To change the template for this generated file go to
00005  * Window - Preferences - Java - Code Style - Code Templates
00006  */
00007 package edu.tum.cs.logic.sat;
00008 
00009 import edu.tum.cs.logic.PossibleWorld;
00010 import edu.tum.cs.logic.WorldVariables;
00011 import edu.tum.cs.srl.AbstractVariable;
00012 
00013 public class WalkSAT extends SampleSAT {
00014 
00015         public WalkSAT(Iterable<? extends edu.tum.cs.logic.sat.Clause> kb, PossibleWorld state, WorldVariables vars, Iterable<? extends AbstractVariable> db) throws Exception {
00016                 super(kb, state, vars, db);
00017         }
00018 
00019         @Override
00020         protected void makeMove() {
00021                 walkSATMove();
00022         }
00023 }