org.sat4j.pb
Class Explanation<C>

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

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


Constructor Summary
Explanation()
           
 
Method Summary
 java.util.List<Conflict<C>> getConflicts()
           
 java.util.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 java.util.List<DepdendenyNode<C>> getRoots()

newConflict

public Conflict<C> newConflict()

getConflicts

public java.util.List<Conflict<C>> getConflicts()


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