@Test public void testSatGraph() throws Exception { SatProblemProvider provider = new SatProblemProvider(); ProblemInstanceInfo pii = provider.getProblemInfo().getProblemInstanceInfo("uf20-01"); Formula formula = (Formula) provider.initProblemInstance(pii); SatGraph graph = new SatGraph(formula, new FormulaEvaluator(formula)); assertNotNull(graph); }
public SatGraph(Formula formula, FormulaEvaluator formulaEvaluator) throws Exception { super(); _formula = formula; _formulaEvaluator = formulaEvaluator; _nodes.put(new Integer(0), new Node(0)); for (int i = 1; i <= formula.getLiteralCount(); i++) { _nodes.put(new Integer(i), new Node(i)); _nodes.put(new Integer(-i), new Node(-i)); } }
SatGraph extends Graph implements java.lang.Cloneable { public SatGraph(Formula formula, FormulaEvaluator formulaEvaluator) throws Exception { super(); _formula = formula; _formulaEvaluator = formulaEvaluator; _nodes.put(new Integer(0), new Node(0)); for (int i = 1; i <= formula.getLiteralCount(); i++) { _nodes.put(new Integer(i), new Node(i)); _nodes.put(new Integer(-i), new Node(-i)); } } }
SatGraph extends Graph implements java.lang.Cloneable { public SatGraph(Formula formula, FormulaEvaluator formulaEvaluator) throws Exception { super(); _formula = formula; _formulaEvaluator = formulaEvaluator; _nodes.put(new Integer(0), new Node(0)); for (int i = 1; i <= formula.getLiteralCount(); i++) { _nodes.put(new Integer(i), new Node(i)); _nodes.put(new Integer(-i), new Node(-i)); } } SatGraph(Formula formula, FormulaEvaluator formulaEvaluator); }
SatGraph extends Graph implements java.lang.Cloneable { public SatGraph(Formula formula, FormulaEvaluator formulaEvaluator) throws Exception { super(); _formula = formula; _formulaEvaluator = formulaEvaluator; _nodes.put(new Integer(0), new Node(0)); for (int i = 1; i <= formula.getLiteralCount(); i++) { _nodes.put(new Integer(i), new Node(i)); _nodes.put(new Integer(-i), new Node(-i)); } } SatGraph(Formula formula, FormulaEvaluator formulaEvaluator); @Override double getNodesDistance(Node n1, Node n2); }
SatGraph extends Graph implements java.lang.Cloneable { public SatGraph(Formula formula, FormulaEvaluator formulaEvaluator) throws Exception { super(); _formula = formula; _formulaEvaluator = formulaEvaluator; _nodes.put(new Integer(0), new Node(0)); for (int i = 1; i <= formula.getLiteralCount(); i++) { _nodes.put(new Integer(i), new Node(i)); _nodes.put(new Integer(-i), new Node(-i)); } } SatGraph(Formula formula, FormulaEvaluator formulaEvaluator); @Override double getNodesDistance(Node n1, Node n2);  }