mln
Class InferBDB.ClauseType.ClauseEntry

java.lang.Object
  extended by mln.InferBDB.ClauseType.ClauseEntry
Enclosing class:
InferBDB.ClauseType

public class InferBDB.ClauseType.ClauseEntry
extends java.lang.Object


Constructor Summary
InferBDB.ClauseType.ClauseEntry()
           
 
Method Summary
 int contactType(int atom)
           
 boolean isViolated()
           
 boolean isViolated(int nsat)
           
 int nsat()
           
 void parse(java.sql.ResultSet rs)
           
 int pickBest()
           
 int pickRandom()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InferBDB.ClauseType.ClauseEntry

public InferBDB.ClauseType.ClauseEntry()
Method Detail

contactType

public int contactType(int atom)

isViolated

public boolean isViolated()

isViolated

public boolean isViolated(int nsat)

nsat

public int nsat()

parse

public void parse(java.sql.ResultSet rs)

pickBest

public int pickBest()

pickRandom

public int pickRandom()