Index to all operations

. / < = A C F G N R S T \ |

.

./=.  (CHR)
.<.  (CHR)
.<=.  (CHR)
.=.  (CHR)
.>.  (CHR)
.>=.  (CHR)

. / < = A C F G N R S T \ |

/

/\ (CHR)

. / < = A C F G N R S T \ |

<

<=> (CHR)

. / < = A C F G N R S T \ |

=

==> (CHR)

. / < = A C F G N R S T \ |

A

allCHR  (CHR)
andCHR  (CHR)
anyPrim  (CHR)

. / < = A C F G N R S T \ |

C

chr2curry  (CHR)
chrsToGoal  (CHR)
compileCHR  (CHR)

. / < = A C F G N R S T \ |

F

false (CHR)

. / < = A C F G N R S T \ |

G

ground (CHR)

. / < = A C F G N R S T \ |

N

nonvar (CHR)

. / < = A C F G N R S T \ |

R

runCHR (CHR)
runCHRwithTrace (CHR)

. / < = A C F G N R S T \ |

S

solveCHR (CHR)

. / < = A C F G N R S T \ |

T

toGoal1  (CHR)
toGoal2  (CHR)
toGoal3  (CHR)
toGoal4  (CHR)
toGoal5  (CHR)
toGoal6  (CHR)
true  (CHR)

. / < = A C F G N R S T \ |

\

\\ (CHR)

. / < = A C F G N R S T \ |

|

|> (CHR)

. / < = A C F G N R S T \ |