Packages

package heuristic

Type Members

  1. class DecisionLevel extends AnyRef

    Represents decision level.

    Represents decision level. Contains all information, needed to do a backtracking.

  2. class DecisionMaker extends AnyRef

    Created by vlad107 on 7/14/17.

  3. class UnificationSearcher extends AnyRef

    Created by vlad107 on 18.07.17.

Ungrouped