Will Schell's COG 366
Applicability

Predicates

  • sameP – Used in the ‘if’ portion of a heuristic to assert that any numbers in the predicate should be the same number.

  • zeroP– Used in the ‘if’ portion of a heuristic to assert that the number of group up numbers in the predicate should form zero.

  • oneP – Used in the ‘if’ portion of a heuristic to assert that the number or group of numbers in the predicate should equal one.

  • twoP – Used in the ‘if’ portion of a heuristic to assert that the number or group of numbers in the predicate should equal two.

  • goalP – Used in the ‘if’ portion of a heuristic to assert that a number should be equal to the goal number.

  • onemoreP – Used in the ‘if’ portion of a heuristic to assert that a number should be one higher than the goal number.

  • twomoreP – Used in the ‘if’ portion of a heuristic to assert that a number should be two higher than the goal number.

  • numbersP – Used in the ‘if’ portion of a heuristic to specify that the values of the numbers included in the predicate don’t matter.

    • ***** New Predicates *****

  • twicegoalP – Used in the ‘if’ portion of a heuristic to assert that the numbers included in the predicate should equal twice the value of the goal.

  • allzeroP – Used in the ‘if’ portion of a heuristic to assert that the numbers included in the predicate should be all zeros.

  • goalminoneP – Used in the ‘if’ portion of a heuristic to assert that the numbers included in the predicate should equal one less than the goal.

    • Functions

  • zeroX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved evaluate to zero.

  • oneX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved evaluate to one.

  • twoX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved evaluate to two.

  • goalX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved evaluate to the goal value.

    • ***** New Functions *****

  • twicegoalX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved evaluate to double the goal value.

  • allzeroX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved are zero.

  • goalminoneX – Used in the ‘then’ portion of a heuristic to signify an expression in which all numbers involved evaluate to one less than the goal value.