logic
Class AtomicProposition

java.lang.Object
  logic.Formula
      logic.AtomicProposition

public class AtomicProposition
extends Formula

Atomic proposition

Represents an atomic proposition. Atomic proposition are associated with a list of intervals. An atomic proposition must begin with a lowercase. Altough this constraint will not be checked in this class, the logical parser actually verify this constraint.

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Nicolas Richard

Field Summary

static java.lang.String

TYPE A constant representing an atomic proposition.

Fields inherited from class logic.Formula

subFormula

Constructor Summary

AtomicProposition(java.lang.String ap)
This constructor creates a new atomic proposition.

Method Summary

boolean	equals(java.lang.Object o) Determines if the specified object is equals to this atomic proposition.
java.lang.String	getAP() Returns the name of the atomic proposition
java.lang.String	getType() Returns a string representing the type Atomic Proposition.
java.lang.String	toString() Converts this atomic proposition to a string

Methods inherited from class logic.Formula

depth, getSubFormula, setSubFormula

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final java.lang.String TYPE

A constant representing an atomic proposition.

See Also:

Constant Field Values

Constructor Detail

AtomicProposition

public AtomicProposition(java.lang.String ap)

This constructor creates a new atomic proposition.

Parameters:

ap - name of the atomic proposition.

Method Detail

getType

public java.lang.String getType()

Returns a string representing the type Atomic Proposition.

Specified by:

getType in class Formula

Returns:

a string representing the type Atomic Proposition.

getAP

public java.lang.String getAP()

Returns the name of the atomic proposition

Returns:

the name of the atomic proposition

toString

public java.lang.String toString()

Converts this atomic proposition to a string

Overrides:

toString in class Formula

Returns:

a string representing this atomic proposition

equals

public boolean equals(java.lang.Object o)

Determines if the specified object is equals to this atomic proposition.

Overrides:

equals in class Formula

Parameters:

o - an object to compare

Returns:

'True' if the object represents this atomic proposition, 'False' otherwise.