Package org.smtlib.impl

Class SMTExpr.Keyword

java.lang.Object
org.smtlib.impl.Pos.Posable
org.smtlib.impl.Pos.Printable
org.smtlib.impl.SMTExpr.Keyword
All Implemented Interfaces:
IExpr.IKeyword, INode, IPos.IPosable
Enclosing class:
SMTExpr
public static class SMTExpr.Keyword extends Pos.Printable implements IExpr.IKeyword
This class represents an SMT Keyword syntax token

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected String
    value
     

    Fields inherited from class org.smtlib.impl.Pos.Posable

    pos

  • Constructor Summary

    Constructors
    Constructor
    Description
    Keyword(String v)
    Creates a Keyword from the given canonical string (including the leading colon).

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> T
    accept(IVisitor<T> v)
    The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
    boolean
    equals(Object o)
    Equal to any IKeyword designating the same abstract keyword.
    int
    hashCode()
     
    String
    kind()
    Helpful method that indicates the class of expression, used in human-readable messages.
    String
    value()
    A canonical representation of keyword key

    Methods inherited from class org.smtlib.impl.Pos.Printable

    toString

    Methods inherited from class org.smtlib.impl.Pos.Posable

    pos, setPos

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface org.smtlib.IExpr.IKeyword

    toString

    Methods inherited from interface org.smtlib.IPos.IPosable

    pos, setPos

  • Field Details

    • value

      protected String value

  • Constructor Details

    • Keyword

      public Keyword(String v)
      Creates a Keyword from the given canonical string (including the leading colon).

  • Method Details

    • value

      public String value()
      Description copied from interface: IExpr.IKeyword
      A canonical representation of keyword key
      Specified by:
      value in interface IExpr.IKeyword

    • kind

      public String kind()
      Description copied from interface: IExpr.IKeyword
      Helpful method that indicates the class of expression, used in human-readable messages.
      Specified by:
      kind in interface IExpr.IKeyword

    • equals

      public boolean equals(Object o)
      Equal to any IKeyword designating the same abstract keyword.
      Specified by:
      equals in interface IExpr.IKeyword
      Overrides:
      equals in class Pos.Posable

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Pos.Posable

    • accept

      public <T> T accept(IVisitor<T> v) throws IVisitor.VisitorException
      Description copied from interface: INode
      The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
      Specified by:
      accept in interface INode
      Type Parameters:
      T - the return type desired from the visit methods
      Parameters:
      v - the visitor class
      Returns:
      the value returned by the visit method
      Throws:
      IVisitor.VisitorException