mit.ai.techniques
Class Conjunction

java.lang.Object
  |
  +--mit.ai.techniques.Conjunction

public class Conjunction

extends java.lang.Object

Implement a conjunction of literals as a vector.

Field Summary

private java.util.Vector

literals

Constructor Summary

Conjunction()
Create an empty conjunction.

Conjunction(Literal l)
Create a conjunction with a single literal.

Method Summary

void	addLiteral(Literal l) Add a literal to the conjunction.
boolean	contains(Literal l) Check if the Conjunction contains a particular Literal.
boolean	isFalse(Proposition p) Return false if this proposition is mentioned negatively in this conjunction.
boolean	isKnown(Proposition p) Return true if this proposition is mentioned in this conjunction.
boolean	isTrue(Proposition p) Return true if this proposition is mentioned positively in this conjunction.
Literal	literalAt(int index) Get the literal at an index.
Literal	occurrence(Proposition p) Return the literal associated with proposition p if it occurs in this conjunction, otherwise return null.
int	size() How many literals are in the conjunction?
java.lang.String	toString() String representation.

Methods inherited from class java.lang.Object

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

Field Detail

literals

private java.util.Vector literals

Constructor Detail

Conjunction

public Conjunction()

Create an empty conjunction.

Conjunction

public Conjunction(Literal l)

Create a conjunction with a single literal.

Method Detail

addLiteral

public void addLiteral(Literal l)

Add a literal to the conjunction.

isKnown

public boolean isKnown(Proposition p)

Return true if this proposition is mentioned in this conjunction.

isTrue

public boolean isTrue(Proposition p)

Return true if this proposition is mentioned positively in this conjunction.

isFalse

public boolean isFalse(Proposition p)

Return false if this proposition is mentioned negatively in this conjunction.

occurrence

public Literal occurrence(Proposition p)

Return the literal associated with proposition p if it occurs in this conjunction, otherwise return null.

size

public int size()

How many literals are in the conjunction?

literalAt

public Literal literalAt(int index)

Get the literal at an index.

contains

public boolean contains(Literal l)

Check if the Conjunction contains a particular Literal.

toString

public java.lang.String toString()

String representation.

Overrides:

toString in class java.lang.Object