fs/index.html" name="sharedDefs" id="sharedDefs" class="extype">sharedDefs</a>, <span name="diffSAT#queryAndPrintSolverResult(boolean," class="extype">boolean, solving.SamplingResult, scala.Option, scala.collection.immutable.Seq, scala.collection.immutable.Seq, scala.collection.immutable.Seq, scala.collection.immutable.Seq, boolean, boolean)</span></p></span></dd></dl><div class="toggleContainer"><div class="toggle block"><span>Linear Supertypes</span><div class="superTypes hiddenContent"><a href="https://d