aima.core.logic.fol

Class StandardizeApartInPlace

java.lang.Object

aima.core.logic.fol.StandardizeApartInPlace

public class StandardizeApartInPlace
extends java.lang.Object

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
StandardizeApartInPlace()

Method Summary

Modifier and Type	Method and Description
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)