module lang::smtlib2::command::response::Parse

rascal-0.40.16

Synopsis: Parse the response that a SMT solver returns.

Usage

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

Dependencies

import lang::smtlib2::command::response::Syntax;
import ParseTree;

function parseResponse

Response parseResponse(str response)