SolveInfo

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> alice >> [ tuprolog overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

alice.tuprolog
Interface SolveInfo

All Superinterfaces:: java.io.Serializable

All Known Implementing Classes:: SolveResultInfo

public interface SolveInfo
extends java.io.Serializable

interface of objects returned by engine when invoking a demonstration

Method Summary

int getHaltCode()
          gets halt code for a demonstration that has been halted

Term getSolution()
          gets info about the (unified) goal of the relative successful demonstration

Substitution getSubstitution()
          gets info about (eventually present) bound variables of the relative successful demonstration

boolean halt()
          tests if an haltquit predicate has been requested

boolean hasOpenAlternatives()
          tests if there are open alternatives in the relative demonstration

boolean success()
          tests for demontration success.

Method Detail

success

public boolean success()

tests for demontration success.

hasOpenAlternatives

public boolean hasOpenAlternatives()

tests if there are open alternatives in the relative demonstration

getSubstitution

public Substitution getSubstitution()
                             throws NoSolutionException

gets info about (eventually present) bound variables of the relative successful demonstration

getSolution

public Term getSolution()
                 throws NoSolutionException

gets info about the (unified) goal of the relative successful demonstration

halt

public boolean halt()

tests if an haltquit predicate has been requested

getHaltCode

public int getHaltCode()
                throws NoHaltException

gets halt code for a demonstration that has been halted