aima.logic.fol
Class StandardizeApartInPlace

java.lang.Object
  aima.logic.fol.StandardizeApartInPlace

public class StandardizeApartInPlace
extends java.lang.Object

Constructor Summary

StandardizeApartInPlace()

Method Summary

static int	standardizeApart(Chain c, int saIdx)
static int	standardizeApart(Clause c, int saIdx)

Methods inherited from class java.lang.Object

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

Constructor Detail

StandardizeApartInPlace

public StandardizeApartInPlace()

Method Detail

standardizeApart

public static int standardizeApart(Chain c,
                                   int saIdx)

standardizeApart

public static int standardizeApart(Clause c,
                                   int saIdx)