net.sf.bddbddb
Class Stratify

java.lang.Object
  net.sf.bddbddb.Stratify

public class Stratify
extends java.lang.Object

Implements stratification and decides iteration order.

Version:

$Id: Stratify.java 642 2006-06-08 02:35:35Z joewhaley $

Author:

jwhaley

Field Summary

java.util.Map	innerSccs
Solver	solver
java.util.List	strata

Constructor Summary

Stratify(Solver solver)

Method Summary

static int	getPriority(java.lang.Object o)
void	stratify()
void	stratify(java.util.List rules, java.util.Set inputs, java.util.Set outputs) Stratify the given list of rules with respect to the given inputs and outputs.

Methods inherited from class java.lang.Object

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

Field Detail

solver

public Solver solver

strata

public java.util.List strata

innerSccs

public java.util.Map innerSccs

Constructor Detail

Stratify

public Stratify(Solver solver)

Method Detail

stratify

public void stratify()

stratify

public void stratify(java.util.List rules,
                     java.util.Set inputs,
                     java.util.Set outputs)

Stratify the given list of rules with respect to the given inputs and outputs.

Parameters:

rules - rules to stratify

inputs - input relations

outputs - output relations

getPriority

public static int getPriority(java.lang.Object o)