org.sat4j.pb

Class Conflict<C>

java.lang.Object

org.sat4j.pb.Conflict<C>

public class Conflict<C>
extends Object

Constructor Summary

Constructors

Constructor and Description
Conflict(Explanation<C> explanation)

Method Summary

Methods

Modifier and Type	Method and Description
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 List<DepdendenyNode<C>> getRoots()