SolveResultInfo

Overview

Package

Class

Use

Deprecated

Index

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

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of alice.tuprolog.SolveResultInfo

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

alice.tuprolog
Class SolveResultInfo

java.lang.Object
  alice.tuprolog.SolveResultInfo

All Implemented Interfaces:: java.io.Serializable, SolveInfo

final class SolveResultInfo
extends java.lang.Object
implements SolveInfo

implemntation of SolveInfo interface.

Contains information about an executed solving demo;

Field Summary

private Var[] bindings
          goal variable state after demonstration

private int flag
          core flag after demonstration

private Term goal
          goal subject of demosntration

private int haltCode


Constructor Summary

(package private) SolveResultInfo(int fl, alice.util.LinkedList vars, Term g, int haltCode_)


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.

Methods inherited from class java.lang.Object

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

Field Detail

flag

private int flag

core flag after demonstration

haltCode

private int haltCode

bindings

private Var[] bindings

goal variable state after demonstration

goal

private Term goal

goal subject of demosntration

Constructor Detail

SolveResultInfo

SolveResultInfo(int fl,
                alice.util.LinkedList vars,
                Term g,
                int haltCode_)

Method Detail