jtp.demod
Class DemodUtils

java.lang.Object
  |
  +--jtp.demod.DemodUtils

public class DemodUtils

extends Object

DemodUtils.java Created: Wed May 1 21:46:38 2002

Constructor Summary

DemodUtils()

Method Summary

static Object	lookUp(Object o, Map m)
static Clause	substitute(Clause cl, Map substMap, Collection substitutionsMade)
static CNFSentence	substitute(CNFSentence sent, Map substMap, Collection substitutionsMade)
static Literal	substitute(Literal lit, Map substMap, Collection substitutionsMade)
static ClauseOrientation	substituteClauseOrientation(ClauseOrientation co, Map substMap, Collection substitutionsMade)
static List	substituteList(List l, Map substMap, Collection substitutionsMade)

Methods inherited from class java.lang.Object

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

Constructor Detail

DemodUtils

public DemodUtils()

Method Detail

lookUp

public static Object lookUp(Object o,
                            Map m)

substitute

public static CNFSentence substitute(CNFSentence sent,
                                     Map substMap,
                                     Collection substitutionsMade)

substitute

public static Clause substitute(Clause cl,
                                Map substMap,
                                Collection substitutionsMade)

substituteClauseOrientation

public static ClauseOrientation substituteClauseOrientation(ClauseOrientation co,
                                                            Map substMap,
                                                            Collection substitutionsMade)

substituteList

public static List substituteList(List l,
                                  Map substMap,
                                  Collection substitutionsMade)

substitute

public static Literal substitute(Literal lit,
                                 Map substMap,
                                 Collection substitutionsMade)