org.sat4j.pb
Class Conflict<C>

java.lang.Object
  extended by org.sat4j.pb.Conflict<C>

public class Conflict<C>
extends java.lang.Object


Constructor Summary
Conflict(Explanation<C> explanation)
           
 
Method Summary
 java.util.List<DepdendenyNode<C>> getRoots()
           
 DepdendenyNode<C> newRoot(C name)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Conflict

public Conflict(Explanation<C> explanation)
Method Detail

newRoot

public DepdendenyNode<C> newRoot(C name)

getRoots

public java.util.List<DepdendenyNode<C>> getRoots()


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.