net.sf.bddbddb
Class LSInferenceRule

java.lang.Object
  net.sf.bddbddb.InferenceRule
      net.sf.bddbddb.LSInferenceRule

All Implemented Interfaces:

IterationElement

public class LSInferenceRule
extends InferenceRule

LSInferenceRule

Version:

$Id: LSInferenceRule.java 497 2005-04-06 17:03:47Z joewhaley $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.bddbddb.InferenceRule

InferenceRule.DependenceNavigator

Field Summary

Fields inherited from class net.sf.bddbddb.InferenceRule

bottom, id, necessaryVariables, solver, top, unnecessaryVariables

Constructor Summary

LSInferenceRule(Solver solver, java.util.List top, RuleTerm bottom)

LSInferenceRule(Solver solver, java.util.List top, RuleTerm bottom, int id)

Method Summary

void	reportStats() Report statistics about this rule.
boolean	update() Update the head relation of this rule based on the subgoal relations.

Methods inherited from class net.sf.bddbddb.InferenceRule

calculateNecessaryVariables, checkUnnecessaryVariables, copyOptions, free, fromXMLElement, generateIR_incremental, generateIR, getAttribute, getHead, getNecessaryVariables, getRelationToDefiningRule, getRelationToUsingRule, getSubgoals, getUnnecessaryVariables, getVariable, getVariables, getVarNameMap, hashCode, numberOfVariables, split, toString, toXMLElement

Methods inherited from class java.lang.Object

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

Constructor Detail

LSInferenceRule

public LSInferenceRule(Solver solver,
                       java.util.List top,
                       RuleTerm bottom)

Parameters:

solver -

top -

bottom -

LSInferenceRule

public LSInferenceRule(Solver solver,
                       java.util.List top,
                       RuleTerm bottom,
                       int id)

Parameters:

solver -

top -

bottom -

id -

Method Detail

update

public boolean update()

Description copied from class: InferenceRule

Update the head relation of this rule based on the subgoal relations. Returns true if the head relation changed.

Specified by:

update in class InferenceRule

Returns:

true if the head relation changed

reportStats

public void reportStats()

Description copied from class: InferenceRule

Report statistics about this rule.

Specified by:

reportStats in class InferenceRule