Skip to main content

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)