Packages

package choosing

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class DecisionsMaker extends AnyRef

    Created by podtelkin on 16.08.17.

  2. trait LiteralChooser extends AnyRef

    Represents general way to choose next literal.

Value Members

  1. object SimpleLiteralChooser extends LiteralChooser

    Very dumb algorithm, which just pick some random undecided variable.

Ungrouped