aima.util
Class LogicUtils

java.lang.Object
  aima.util.LogicUtils

public class LogicUtils
extends java.lang.Object

Constructor Summary

LogicUtils()

Method Summary

static Sentence	chainWith(java.lang.String connector, java.util.List sentences)
static Sentence	reorderCNFTransform(java.util.Set<Symbol> positiveSymbols, java.util.Set<Symbol> negativeSymbols)
static java.util.Set<Variable>	stringsToVariables(java.util.Set<java.lang.String> strings)

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicUtils

public LogicUtils()

Method Detail

chainWith

public static Sentence chainWith(java.lang.String connector,
                                 java.util.List sentences)

reorderCNFTransform

public static Sentence reorderCNFTransform(java.util.Set<Symbol> positiveSymbols,
                                           java.util.Set<Symbol> negativeSymbols)

stringsToVariables

public static java.util.Set<Variable> stringsToVariables(java.util.Set<java.lang.String> strings)