Skip to main content

module lang::smtlib2::command::response::Implode

rascal-0.40.16

Synopsis: Converts the concreate SMT Solver Response syntax to AST.

Usage​

import lang::smtlib2::command::response::Implode;

Dependencies​

import ParseTree;
import lang::smtlib2::command::response::Parse;
import lang::smtlib2::command::response::Ast;

function toAst​

Response toAst(str answer)