Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

H

hasExited() - Method in class org.smtlib.SolverProcess

Whether the process was started and has since exited

hashCode() - Method in class org.smtlib.impl.Pos.Posable

hashCode() - Method in class org.smtlib.impl.SMTExpr.AsIdentifier

hashCode() - Method in class org.smtlib.impl.SMTExpr.BinaryLiteral

hashCode() - Method in class org.smtlib.impl.SMTExpr.Decimal

hashCode() - Method in class org.smtlib.impl.SMTExpr.HexLiteral

hashCode() - Method in class org.smtlib.impl.SMTExpr.Keyword

hashCode() - Method in class org.smtlib.impl.SMTExpr.Numeral

hashCode() - Method in class org.smtlib.impl.SMTExpr.ParameterizedIdentifier

hashCode() - Method in class org.smtlib.impl.SMTExpr.StringLiteral

hashCode() - Method in class org.smtlib.impl.SMTExpr.Symbol

hashCode() - Method in class org.smtlib.impl.Sort.Abbreviation

hashCode() - Method in class org.smtlib.impl.Sort.Application

hashCode() - Method in class org.smtlib.impl.Sort.Family

hashCode() - Method in class org.smtlib.impl.Sort.FcnSort

hashCode() - Method in class org.smtlib.impl.Sort.Parameter

hashCode() - Method in record class org.smtlib.SolverResolver.Resolution

Returns a hash code value for this object.

hasNext() - Method in class org.smtlib.SymbolTable.Iterator

hasPending() - Method in class org.smtlib.AbstractSolver

Whether some pipelined command's response has not yet been read

head - Variable in class org.smtlib.impl.SMTExpr.AsIdentifier

head - Variable in class org.smtlib.impl.SMTExpr.ParameterizedIdentifier

head() - Method in interface org.smtlib.IExpr.IAsIdentifier

The head of the identifier

head() - Method in interface org.smtlib.IExpr.IFcnExpr

The function identifier

head() - Method in interface org.smtlib.IExpr.IParameterizedIdentifier

The head symbol of the identifier

head() - Method in class org.smtlib.impl.SMTExpr.AsIdentifier

head() - Method in class org.smtlib.impl.SMTExpr.FcnExpr

head() - Method in class org.smtlib.impl.SMTExpr.ParameterizedIdentifier

headSymbol() - Method in interface org.smtlib.IExpr.IAsIdentifier

The head symbol of the identifier

headSymbol() - Method in interface org.smtlib.IExpr.IIdentifier

The head symbol of the identifier

headSymbol() - Method in interface org.smtlib.IExpr.IQualifiedIdentifier

The head symbol of the identifier

headSymbol() - Method in class org.smtlib.impl.SMTExpr.AsIdentifier

headSymbol() - Method in class org.smtlib.impl.SMTExpr.ParameterizedIdentifier

headSymbol() - Method in class org.smtlib.impl.SMTExpr.Symbol

help() - Method in class org.smtlib.SMT

Prints a verbose message about command line arguments

hex(String) - Method in interface org.smtlib.IExpr.IFactory

Creates an IHexLiteral object from a string of hex digits (either case).

hex(String) - Method in class org.smtlib.impl.Factory

HEXADECIMAL - Static variable in class org.smtlib.sexpr.Utils

Concrete syntax for the special HEXADECIMAL token

HexLiteral(String) - Constructor for class org.smtlib.impl.SMTExpr.HexLiteral

Creates a hex literal from a string of hex digits (no #x prefix).

hold(Log.IPendingOutput) - Method in class org.smtlib.Log

Holds a place in the output for content not yet known: until it is printed (see Log.flush()), later logging calls are held behind it, so that output stays in order.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form