Package

evaluators

Permalink

package evaluators

Visibility

Public
All

Type Members

trait ContextualEvaluator extends Evaluator
trait DeterministicEvaluator extends Evaluator
trait EncodingEvaluator extends DeterministicEvaluator
trait Evaluator extends AnyRef
trait HasDefaultGlobalContext extends ContextualEvaluator
trait HasDefaultRecContext extends ContextualEvaluator
trait RecursiveEvaluator extends ContextualEvaluator with DeterministicEvaluator with SolvingEvaluator
trait SolvingEvaluator extends Evaluator

Value Members

object EncodingEvaluator
object EvaluationResults
object RecursiveEvaluator
object optEvalQuantifiers extends FlagOptionDef
object optIgnoreContracts extends FlagOptionDef
object optMaxCalls extends IntOptionDef

Ungrouped