org.sat4j.pb
Class Conflict<C>

java.lang.Object
  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()