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

W

w - Variable in class org.smtlib.sexpr.Printer

The writer to write text to

waitForEnd(long) - Method in class org.smtlib.SolverProcess

Waits at most millis for the process to end; returns whether it has

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

The _ wildcard in match patterns

WILDCARD - Static variable in class org.smtlib.Utils

The String for the _ wildcard in match patterns

WithLines(SMT.Configuration, Writer) - Constructor for class org.smtlib.sexpr.Printer.WithLines

Creates a printer object that follows the given Configuration's rules.

withSourceLines(String) - Method in class org.smtlib.AbstractSolver

The text with each line number lineNumberPatterns finds in it rewritten as a source line (see linesOffset)

write(Printer) - Method in class org.smtlib.impl.Command

Writes the full command: (commandName() <writeArgs output>), followed by its trailingText (if any) -- see Command.trailingText.

write(SMT.Configuration, PrintStream, T) - Static method in class org.smtlib.sexpr.Printer.WithLines

Writes the given expression to the given stream, following the given Configuration's rules.

write(SMT.Configuration, PrintStream, T) - Static method in class org.smtlib.sexpr.Printer

Writes the given expression to the given stream, following the given Configuration's rules.

write(SMT.Configuration, PrintStream, T) - Static method in class org.smtlib.solvers.Printer

Writes the given expression to the given stream, following the given Configuration's rules.

write(SMT.Configuration, Writer, T) - Static method in class org.smtlib.sexpr.Printer.WithLines

Writes the given expression to the given writer, following the given Configuration's rules.

write(SMT.Configuration, Writer, T) - Static method in class org.smtlib.sexpr.Printer

Writes the given expression to the given writer, following the given Configuration's rules.

write(SMT.Configuration, Writer, T) - Static method in class org.smtlib.solvers.Printer

Writes the given expression to the given writer, following the given Configuration's rules.

write(SMT.Configuration, T) - Static method in class org.smtlib.sexpr.Printer

Writes the given expression and outputs as a String, following the given Configuration's rules (e.g.

write(SMT.Configuration, T) - Static method in class org.smtlib.solvers.Printer

Writes the given expression and outputs as a String, following the given Configuration's rules.

writeArgs(Printer) - Method in class org.smtlib.ext.C_exec

writeArgs(Printer) - Method in class org.smtlib.ext.C_what

writeArgs(Printer) - Method in class org.smtlib.impl.Command

Writes the command arguments (everything between the opening parenthesis + command name and the closing parenthesis); called by Command.write(org.smtlib.sexpr.Printer).

writer() - Method in class org.smtlib.sexpr.Printer

The writer to write text to

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