ai.logic
Class Logic

java.lang.Object
  ai.logic.Logic

All Implemented Interfaces:

java.lang.Cloneable

public class Logic

extends java.lang.Object

implements java.lang.Cloneable

A logic statement.

Author:

Jill Zimmerman -- jill.zimmerman@goucher.edu

Constructor Summary

Logic(java.lang.String v)

Method Summary

java.lang.Object	clone()
boolean	isSatisfiable() Determines if logic statement is satisfiable
boolean	isValid() Determines if logic statement is valid
static Logic	parse(java.lang.String expr) Parse an expression string
static Logic	parse(java.util.StringTokenizer expr, java.util.Vector operators, java.util.Vector operands, java.lang.String lookahead)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Logic

public Logic(java.lang.String v)

Method Detail

isValid

public boolean isValid()

Determines if logic statement is valid

isSatisfiable

public boolean isSatisfiable()

Determines if logic statement is satisfiable

toString

public java.lang.String toString()

parse

public static Logic parse(java.lang.String expr)
                   throws ai.logic.IllegalLogicClause

Parse an expression string

Returns:

a logic object representing that string

Throws:

ai.logic.IllegalLogicClause

parse

public static Logic parse(java.util.StringTokenizer expr,
                          java.util.Vector operators,
                          java.util.Vector operands,
                          java.lang.String lookahead)
                   throws ai.logic.IllegalLogicClause

Throws:

ai.logic.IllegalLogicClause

clone

public java.lang.Object clone()