org.sat4j.pb

Class Explanation<C>

java.lang.Object

org.sat4j.pb.Explanation<C>

public class Explanation<C>
extends Object

Constructor Summary

Constructors

Constructor and Description
Explanation()

Method Summary

Methods

Modifier and Type	Method and Description
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()