Package org.svvrl.goal.core.logic

Class Proposition

java.lang.Object
org.svvrl.goal.core.logic.Proposition
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Comparable<Proposition>
Direct Known Subclasses:
AuxVariable
public class Proposition
extends java.lang.Object
implements java.lang.Cloneable, java.lang.Comparable<Proposition>
This is a class for propositions.
Author:
Ming-Hsien Tsai

  • Field Summary

    Fields 
    Modifier and Type Field Description
    static Proposition Epsilon
    The symbol ε.
    static Proposition FALSE
    The proposition False.
    static Proposition Lambda
    The symbol λ.
    static Proposition TRUE
    The proposition True.

  • Constructor Summary

    Constructors 
    Constructor Description
    Proposition​(java.lang.String n)
    Constructor with the name of this proposition.

  • Method Summary

    Modifier and Type Method Description
    Proposition clone()  
    int compareTo​(Proposition o)  
    boolean equals​(java.lang.Object obj)  
    java.lang.String getName()
    Returns the name of this proposition.
    int hashCode()  
    static Proposition newInstance()
    Creates an unused proposition.
    static Proposition newInstance​(java.lang.String prefix)
    Creates an unused proposition with a specified prefix in its name.
    void setName​(java.lang.String n)
    Sets the name of this proposition.
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

    finalize, getClass, notify, notifyAll, wait, wait, wait

  • Field Details

  • Constructor Details

    • Proposition

      public Proposition​(java.lang.String n)
      Constructor with the name of this proposition.
      Parameters:
      n - the name of this proposition

  • Method Details

    • getName

      public java.lang.String getName()
      Returns the name of this proposition.
      Returns:
      the name of this proposition

    • setName

      public void setName​(java.lang.String n)
      Sets the name of this proposition.
      Parameters:
      n - the name of this proposition

    • newInstance

      public static Proposition newInstance()
      Creates an unused proposition.
      Returns:
      an unused proposition

    • newInstance

      public static Proposition newInstance​(java.lang.String prefix)
      Creates an unused proposition with a specified prefix in its name.
      Parameters:
      prefix - the prefix of the proposition to be created
      Returns:
      an unused proposition with the prefix prefix in its name

    • equals

      public boolean equals​(java.lang.Object obj)
      Overrides:
      equals in class java.lang.Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class java.lang.Object

    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object

    • clone

      public Proposition clone()
      Overrides:
      clone in class java.lang.Object

    • compareTo

      public int compareTo​(Proposition o)
      Specified by:
      compareTo in interface java.lang.Comparable<Proposition>