net.sf.bddbddb.order
Class MapBasedTranslator

java.lang.Object
  net.sf.bddbddb.order.MapBasedTranslator

All Implemented Interfaces:

OrderTranslator

public class MapBasedTranslator
extends java.lang.Object
implements OrderTranslator

Translator based on a map.

Version:

$Id: MapBasedTranslator.java 448 2005-03-07 06:58:48Z cs343 $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from interface net.sf.bddbddb.order.OrderTranslator

OrderTranslator.Compose

Constructor Summary

MapBasedTranslator(InferenceRule ir, Relation r, boolean direction)
direction == true means map from rule to relation.

MapBasedTranslator(java.util.Map m)

MapBasedTranslator(RuleTerm rt, boolean direction)
direction == true means map from ruleterm to relation.

Method Summary

Order

translate(Order o) Translate the given order.

Methods inherited from class java.lang.Object

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

Constructor Detail

MapBasedTranslator

public MapBasedTranslator(java.util.Map m)

MapBasedTranslator

public MapBasedTranslator(InferenceRule ir,
                          Relation r,
                          boolean direction)

direction == true means map from rule to relation. direction == false means map from relation to rule.

Parameters:

ir - rule

r - relation

direction - true=rule->relation, false=relation->rule

MapBasedTranslator

public MapBasedTranslator(RuleTerm rt,
                          boolean direction)

direction == true means map from ruleterm to relation. direction == false means map from relation to ruleterm.

Parameters:

rt - ruleterm

direction - true=ruleterm->relation, false=relation->ruleterm

Method Detail

translate

public Order translate(Order o)

Description copied from interface: OrderTranslator

Translate the given order. Always generates a new Order object, even if the order does not change.

Specified by:

translate in interface OrderTranslator

Parameters:

o - order

Returns:

translated order