module analysis::typepal::Solver
rascal-0.34.0
typepal-0.8.10
Usage
import analysis::typepal::Solver;
Source code
http://github.com/usethesource/typepal/src/analysis/typepal/Solver.rsc
Dependencies
import Set;
import Node;
import Map;
import IO;
import List;
import Location;
import ParseTree;
import Type;
import String;
import Message;
import Exception;
import util::Benchmark;
extend analysis::typepal::Collector;
extend analysis::typepal::Messenger;
function newSolver
Solver newSolver(Tree pt, TModel tm)
Solver newSolver(map[str,Tree] namedTrees, TModel tm)