package it.unibo.tuprolog.solve.solver.fsm


Name Description
abstract class AbstractState: State, Any

Base class for all States refactoring common behaviour

class AlreadyExecutedState: State, Any

A wrapper class representing States that should not be executed again, because they've already executed their behaviour

interface FinalState: State, Any

Represents a Final State of the Prolog solver state-machine

interface IntermediateState: State, Any

Represents an Intermediate State of the Prolog solver state-machine

interface State: Any

Represents a State of Prolog solver state-machine

interface TimedState: State, Any

Interface representing a state with a notion of "time"


Name Description
package it.unibo.tuprolog.solve.solver.fsm.impl