org.sat4j.pb
Class Explanation<C>

java.lang.Object
  org.sat4j.pb.Explanation<C>

public class Explanation<C>
extends Object

Constructor Summary

Explanation()

Method Summary

List<Conflict<C>>	getConflicts()
List<DepdendenyNode<C>>	getRoots()
Conflict<C>	newConflict()
DepdendenyNode<C>	newFalseRoot(C name)
DepdendenyNode<C>	newNode(C name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Explanation

public Explanation()

Method Detail

newFalseRoot

public DepdendenyNode<C> newFalseRoot(C name)

newNode

public DepdendenyNode<C> newNode(C name)

getRoots

public List<DepdendenyNode<C>> getRoots()

newConflict

public Conflict<C> newConflict()

getConflicts

public List<Conflict<C>> getConflicts()