IExpr.IKeyword

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.Keyword

Enclosing interface:: IExpr

public static interface IExpr.IKeyword extends INode, IPos.IPosable

This interface represents SMT-LIB attribute and infoflag names.

Method Summary

Modifier and Type

Method

Description

boolean

equals(Object o)

String

kind()

Helpful method that indicates the class of expression, used in human-readable messages.

String

toString()

The original textual representation of the keyword

String

value()

A canonical representation of keyword key

Methods inherited from interface org.smtlib.INode
accept

Methods inherited from interface org.smtlib.IPos.IPosable
pos, setPos

Method Details
- value
  
  String value()
  
  A canonical representation of keyword key
- toString
  
  String toString()
  
  The original textual representation of the keyword
  
  Overrides:
  
  toString in class Object
- kind
  
  String kind()
  
  Helpful method that indicates the class of expression, used in human-readable messages.
- equals
  
  boolean equals(Object o)
  
  Overrides:
  
  equals in class Object