All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.IfThenElse

java.lang.Object
   |
   +----prolog.Goal
           |
           +----prolog.IfThen
                   |
                   +----prolog.IfThenElse

public class IfThenElse
extends IfThen
';'('->'/2)/2: Represents an if-then-else goal in the body of a clause.


Variable Index

 o else_goal

Constructor Index

 o IfThenElse(Goal, Goal, Goal)

Method Index

 o instantiate(Term[])
Instantiate a list of Goals with the given substitutions.
 o redo(Term[], Prolog, ChoicePoint)
 o toString()
 o unify(Term[], Prolog)

Variables

 o else_goal
 Goal else_goal

Constructors

 o IfThenElse
 IfThenElse(Goal if_goal,
            Goal then_goal,
            Goal else_goal)

Methods

 o unify
 public boolean unify(Term insts[],
                      Prolog p) throws PrologException
Overrides:
unify in class IfThen
 o redo
 public boolean redo(Term insts[],
                     Prolog p,
                     ChoicePoint cp) throws PrologException
Overrides:
redo in class IfThen
 o instantiate
 void instantiate(Term insts[])
Instantiate a list of Goals with the given substitutions. We overwrite the old Compound objects in the list with their instantiated counterparts.

Overrides:
instantiate in class IfThen
 o toString
 public String toString()
Overrides:
toString in class IfThen

All Packages  Class Hierarchy  This Package  Previous  Next  Index