Package com.articulate.sigma

Class CELTTestSuite

java.lang.Object

com.articulate.sigma.CELTTestSuite

public class CELTTestSuite
extends Object

A framework for testing CELT.

Constructor Summary

Constructors

Constructor	Description
CELTTestSuite()

Method Summary

Modifier and Type	Method	Description
static String	test(KB kb)	Reads a KIF file consisting of pairs of (sentence...

Methods inherited from class java.lang.Object

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

Constructor Details

CELTTestSuite

public CELTTestSuite()

Method Details

test

public static String test(KB kb)

Reads a KIF file consisting of pairs of (sentence... and (answer... statements, where the sentence is a quoted string and the answer is the expected KIF formula.