    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

##

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

##

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

##

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.

##

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

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

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

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

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