org.bomba_lang.proto

Class NaiveSolver

java.lang.Object

org.bomba_lang.proto.NaiveSolver

All Implemented Interfaces:

Solver

public class NaiveSolver
extends Object
implements Solver

Reference solver implementation. All operations are written in a way that attempts to emulate their formal definitions.

Constructor Summary

Constructors

Constructor and Description
NaiveSolver()

Method Summary

Methods

Modifier and Type	Method and Description
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(GroundProgram p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.bomba_lang.proto.Solver

solve, solve

Constructor Detail

NaiveSolver

public NaiveSolver()

Method Detail

solve

public scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(GroundProgram p)

Specified by:

solve in interface Solver