net.sf.bddbddb
Class BDDInferenceRule.VarOrderComparator

java.lang.Object
  net.sf.bddbddb.BDDInferenceRule.VarOrderComparator

All Implemented Interfaces:

java.util.Comparator

Enclosing class:

BDDInferenceRule

public class BDDInferenceRule.VarOrderComparator
extends java.lang.Object
implements java.util.Comparator

Constructor Summary

BDDInferenceRule.VarOrderComparator(java.lang.String vo)

Method Summary

int	compare(java.lang.Object arg0, java.lang.Object arg1)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

equals

Constructor Detail

BDDInferenceRule.VarOrderComparator

public BDDInferenceRule.VarOrderComparator(java.lang.String vo)

Method Detail

compare

public int compare(java.lang.Object arg0,
                   java.lang.Object arg1)

Specified by:

compare in interface java.util.Comparator