Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
ubc.cs.JLog.Foundation.iGoalStack

Packages that use iGoalStack
ubc.cs.JLog.Builtins   
ubc.cs.JLog.Builtins.Goals   
ubc.cs.JLog.Foundation   
ubc.cs.JLog.Terms   
ubc.cs.JLog.Terms.Goals   
 

Uses of iGoalStack in ubc.cs.JLog.Builtins
 

Methods in ubc.cs.JLog.Builtins with parameters of type iGoalStack
 void jRead.addGoals(jGoal g, iGoalStack goals)
           
 void jCopyTerm.addGoals(jGoal g, iGoalStack goals)
           
 void jTime.addGoals(jGoal g, iGoalStack goals)
           
 void jRetract.addGoals(jGoal g, iGoalStack goals)
           
 void jUnionArray.addGoals(jGoal g, iGoalStack goals)
           
 void jIsReal.addGoals(jGoal g, iGoalStack goals)
           
 void jExists.addGoals(jGoal g, iGoalStack goals)
           
 void jFunctor.addGoals(jGoal g, iGoalStack goals)
           
 void jEnumerateVariablesArray.addGoals(jGoal g, iGoalStack goals)
           
 void jRepeat.addGoals(jGoal g, iGoalStack goals)
           
 void jGetArrayElement.addGoals(jGoal g, iGoalStack goals)
           
 void jName.addGoals(jGoal g, iGoalStack goals)
           
 void jCall.addGoals(jGoal g, iGoalStack goals)
           
 void jAppendArray.addGoals(jGoal g, iGoalStack goals)
           
 void jCompare.addGoals(jGoal g, iGoalStack goals)
           
 void jTermToList.addGoals(jGoal g, iGoalStack goals)
           
 void jEquivalent.addGoals(jGoal g, iGoalStack goals)
           
 void jOperator.addGoals(jGoal g, iGoalStack goals)
           
 void jCurrentOpList.addGoals(jGoal g, iGoalStack goals)
           
 void jEquivalence.addGoals(jGoal g, iGoalStack goals)
           
 void jSort.addGoals(jGoal g, iGoalStack goals)
           
 void jWrite.addGoals(jGoal g, iGoalStack goals)
           
 void jAssert.addGoals(jGoal g, iGoalStack goals)
           
 void jOp.addGoals(jGoal g, iGoalStack goals)
           
 void jIs.addGoals(jGoal g, iGoalStack goals)
           
 void jIntersectArray.addGoals(jGoal g, iGoalStack goals)
           
 void jIsInteger.addGoals(jGoal g, iGoalStack goals)
           
 void jCallN.addGoals(jGoal g, iGoalStack goals)
           
 void jSetArrayElement.addGoals(jGoal g, iGoalStack goals)
           
 void jCut.addGoals(jGoal g, iGoalStack goals)
           
 void jUnaryOperator.addGoals(jGoal g, iGoalStack goals)
           
 void jUnaryArithmetic.addGoals(jGoal g, iGoalStack goals)
          Arithmetics are intended as expressions for is, if used a predicate they fail.
 void jAsserta.addGoals(jGoal g, iGoalStack goals)
           
 void jSubtractArray.addGoals(jGoal g, iGoalStack goals)
           
 void jRead.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jCopyTerm.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jTime.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jRetract.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jUnionArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jIsReal.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jExists.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jFunctor.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jEnumerateVariablesArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jRepeat.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jGetArrayElement.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jName.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jCall.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jAppendArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jCompare.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jTermToList.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jEquivalent.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jOperator.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jCurrentOpList.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jEquivalence.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jSort.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jWrite.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jAssert.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jOp.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jIs.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jIntersectArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jIsInteger.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jCallN.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jSetArrayElement.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jCut.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jUnaryOperator.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jUnaryArithmetic.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
          Arithmetics are intended as expressions for is, if used a predicate they fail.
 void jAsserta.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jSubtractArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 

Uses of iGoalStack in ubc.cs.JLog.Builtins.Goals
 

Methods in ubc.cs.JLog.Builtins.Goals with parameters of type iGoalStack
protected  void jCallGoal.internal_remove(iGoalStack goals)
           
 void jNameGoal.internal_restore(iGoalStack goals)
           
 void jCurrentOpListGoal.internal_restore(iGoalStack goals)
           
 void jCopyGoal.internal_restore(iGoalStack goals)
           
 void jIsGoal.internal_restore(iGoalStack goals)
           
 void jTermToListGoal.internal_restore(iGoalStack goals)
           
 void jRetractGoal.internal_restore(iGoalStack goals)
           
 void jFunctorGoal.internal_restore(iGoalStack goals)
           
 void jCompareGoal.internal_restore(iGoalStack goals)
           
 void jSortGoal.internal_restore(iGoalStack goals)
           
 void jReadGoal.internal_restore(iGoalStack goals)
           
 void jCallGoal.internal_restore(iGoalStack goals)
           
 boolean jAppendArrayGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jSetArrayElementGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jUnaryOperatorGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jNameGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jCurrentOpListGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jEquivalenceGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jEquivGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jIntersectArrayGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jUnionArrayGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jTimeGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jTimeGoal.jReportTimeGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jWriteGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jCopyGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jIsGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jTermToListGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jSubtractArrayGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jRetractGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jAssertGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jCutGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jUnaryArithmeticGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jCallNGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jFunctorGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jOpGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jOperatorGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jRepeatGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jCompareGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jSortGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jReadGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jGetArrayElementGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jEnumerateVariablesArrayGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jCallGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jAppendArrayGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jSetArrayElementGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jUnaryOperatorGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jNameGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jCurrentOpListGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jEquivalenceGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jEquivGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jIntersectArrayGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jUnionArrayGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jTimeGoal.jReportTimeGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jWriteGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jCopyGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jIsGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jTermToListGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jSubtractArrayGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jRetractGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jAssertGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jCutGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jUnaryArithmeticGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jFunctorGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jOpGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jOperatorGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jRepeatGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jCompareGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jSortGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jReadGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jGetArrayElementGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jEnumerateVariablesArrayGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jCallGoal.retry(iGoalStack goals, iGoalStack proved)
           
 

Uses of iGoalStack in ubc.cs.JLog.Foundation
 

Subinterfaces of iGoalStack in ubc.cs.JLog.Foundation
 interface iDebugGoalStack
          iDebugGoalStack is the debugging goal stack interface.
 

Classes in ubc.cs.JLog.Foundation that implement iGoalStack
 class jDebugGoalStack
          jDebugGoalStack is the default goal stack implementation.
 class jDebugProvedGoalStack
           
 class jGoalStack
          jGoalStack is the default goal stack implementation.
 

Fields in ubc.cs.JLog.Foundation declared as iGoalStack
protected  iGoalStack jProver.goals
           
protected  iGoalStack jProver.proved
           
 

Methods in ubc.cs.JLog.Foundation that return iGoalStack
protected  iGoalStack jProver.createGoalsStack()
          Construct a goal stack for goals.
protected  iGoalStack jDebugProver.createGoalsStack()
           
protected  iGoalStack jProver.createProvedStack()
          Construct a goal stack for proved.
protected  iGoalStack jDebugProver.createProvedStack()
           
 

Methods in ubc.cs.JLog.Foundation with parameters of type iGoalStack
protected  void jGoal.internal_remove(iGoalStack goals)
          Make a rule on the proved stack clean up children on the goal stack.
 void jGoal.internal_restore(iGoalStack goals)
          Combines internal_remove with a full restart and resoration of any previous variable state.
 boolean jUserGoal.prove(iGoalStack goals, iGoalStack proved)
           
abstract  boolean jGoal.prove(iGoalStack goals, iGoalStack proved)
          Attempt to prove the goal represented by this jGoal.
 boolean jRuleDefinitions.prove(jPredicateGoal pg, iGoalStack goals)
           
 boolean jUserGoal.retry(iGoalStack goals, iGoalStack proved)
           
abstract  boolean jGoal.retry(iGoalStack goals, iGoalStack proved)
          Attempt to prove the goal represented by this jGoal.
 boolean jRule.unify(jPredicateGoal pg, iGoalStack goals)
           
 

Uses of iGoalStack in ubc.cs.JLog.Terms
 

Methods in ubc.cs.JLog.Terms with parameters of type iGoalStack
 void jBinaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jAtom.addGoals(jGoal g, iGoalStack goals)
           
 void jClause.addGoals(jGoal g, iGoalStack goals)
           
 void jTrue.addGoals(jGoal g, iGoalStack goals)
           
 void jOrPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jPredicateTerms.addGoals(jGoal g, iGoalStack goals)
           
abstract  void iPredicate.addGoals(jGoal g, iGoalStack goals)
          Adds goal to prove this predicate onto goal stack.
 void jPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jNaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jQuadaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jFail.addGoals(jGoal g, iGoalStack goals)
           
 void jTrinaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jDCG.addGoals(jGoal g, iGoalStack goals)
           
 void jUnaryBuiltinPredicate.addGoals(jGoal g, iGoalStack goals)
           
 void jBinaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jAtom.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jClause.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jTrue.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jOrPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jPredicateTerms.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
abstract  void iPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
          Adds goal to prove this predicate onto goal stack.
 void jPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jNaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jQuadaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jFail.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jTrinaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jDCG.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 void jUnaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
           
 boolean jOrPredicate.prove(jOrGoal og, jGoal g, iGoalStack goals)
           
 boolean jOrPredicate.prove(jOrGoal og, jGoal g, jVariable[] vars, iGoalStack goals)
           
 

Uses of iGoalStack in ubc.cs.JLog.Terms.Goals
 

Methods in ubc.cs.JLog.Terms.Goals with parameters of type iGoalStack
protected  void jPredicateGoal.internal_remove(iGoalStack goals)
           
 void jClauseGoal.internal_restore(iGoalStack goals)
           
 void jTrinaryBuiltinPredicateGoal.internal_restore(iGoalStack goals)
           
 void jUnaryBuiltinPredicateGoal.internal_restore(iGoalStack goals)
           
 void jNaryBuiltinPredicateGoal.internal_restore(iGoalStack goals)
           
 void jOrGoal.internal_restore(iGoalStack goals)
           
 void jPredicateGoal.internal_restore(iGoalStack goals)
           
 void jBinaryBuiltinPredicateGoal.internal_restore(iGoalStack goals)
           
 void jQuadaryBuiltinPredicateGoal.internal_restore(iGoalStack goals)
           
 boolean jFailGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jClauseGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jTrinaryBuiltinPredicateGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jUnaryBuiltinPredicateGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jNaryBuiltinPredicateGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jOrGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jTrueGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jPredicateGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jBinaryBuiltinPredicateGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jQuadaryBuiltinPredicateGoal.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jOrGoalWVars.prove(iGoalStack goals, iGoalStack proved)
           
 boolean jFailGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jClauseGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jTrinaryBuiltinPredicateGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jUnaryBuiltinPredicateGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jNaryBuiltinPredicateGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jOrGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jTrueGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jPredicateGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jBinaryBuiltinPredicateGoal.retry(iGoalStack goals, iGoalStack proved)
           
 boolean jQuadaryBuiltinPredicateGoal.retry(iGoalStack goals, iGoalStack proved)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2011. All Rights Reserved.