All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class JavaAgent.resource.fopl.Proposition 

java.lang.Object
   |
   +----JavaAgent.resource.fopl.Formula
           |
           +----JavaAgent.resource.fopl.Literal
                   |
                   +----JavaAgent.resource.fopl.Proposition
public class Proposition
extends Literal
A Propostion represents a sentence that can be either true or false. It is represented by a Symbol.

See Also:
Symbol

Constructor Index

o Proposition(Symbol)
The constructor for a Proposition takes just a Symbol.

Method Index

o clone()
Cloning a Proposition returns a new Proposition of the same Symbol.
o clone(Substitution)
Cloning a Proposition returns a new Proposition of the same Symbol.
o equals(Object)
A Proposition is equal to any other Proposition that consists of the same symbol and sign.
o toSkolemizedAndOrForm(Substitution, Vector, boolean)
This function returns a new Proposition which is an equal copy of this Proposition.
o toString()
A Proposition is printed as <constant> or (NOT <constant>) if it is negated.

Constructors

o Proposition 
 public Proposition(Symbol aSy) throws IllegalArgumentException
The constructor for a Proposition takes just a Symbol.

Throws: IllegalArgumentException
An exception will occur if the given Symbol is null.

Methods

o clone 
 public Object clone()
Cloning a Proposition returns a new Proposition of the same Symbol.

Returns:
an equal copy of this Literal
Overrides:
clone in class Literal
o clone 
 public Formula clone(Substitution s)
Cloning a Proposition returns a new Proposition of the same Symbol. The given Substitution can be ignored as Propositions do not contain Variables.

Parameters:
s - the Substitution that tells us how to replace Variables (will be ignored)
Returns:
a new Proposition containing the same Symbol
Overrides:
clone in class Literal
o toSkolemizedAndOrForm 
 protected Formula toSkolemizedAndOrForm(Substitution s,
                                         Vector allQuantVars,
                                         boolean isNegated)
This function returns a new Proposition which is an equal copy of this Proposition. The given Substitution and the given Vector of Variables will be ignored here. Finally, the given boolean indicates whether the Proposition is to be negated, i.e. its sign to be reversed.

Parameters:
s - a Substitution (will be ignored)
allQuantVars - the Vector of universally quantified Variables (will be ignored)
isNegated - whether the Literal has to be negated
Returns:
an equal copy of this Proposition
Overrides:
toSkolemizedAndOrForm in class Literal
o toString 
 public String toString()
A Proposition is printed as <constant> or (NOT <constant>) if it is negated.

Returns:
the String that represents this Proposition
Overrides:
toString in class Literal
o equals 
 public boolean equals(Object otherForm)
A Proposition is equal to any other Proposition that consists of the same symbol and sign.

Parameters:
otherForm - the Formula this one is to be compared to
Returns:
whether the given Object is equal to this one
Overrides:
equals in class Literal 
All Packages  Class Hierarchy  This Package  Previous  Next  Index