Uses of Interface
net.sourceforge.czt.rules.Joker

Packages that use Joker

Package	Description
net.sourceforge.czt.rules
net.sourceforge.czt.rules.ast
net.sourceforge.czt.rules.prover
net.sourceforge.czt.rules.unification

Uses of Joker in net.sourceforge.czt.rules

Fields in net.sourceforge.czt.rules with type parameters of type Joker

Modifier and Type	Field and Description
protected List<Joker>	JokerCollector.jokers_

Methods in net.sourceforge.czt.rules that return types with arguments of type Joker

Modifier and Type	Method and Description
List<Joker>	JokerCollector.getResult()

Uses of Joker in net.sourceforge.czt.rules.ast

Classes in net.sourceforge.czt.rules.ast that implement Joker

Modifier and Type	Class and Description
class	ProverJokerDeclList An implementation of the JokerDeclList and Joker interface.
class	ProverJokerExpr An implementation of the JokerExpr and Joker interface.
class	ProverJokerExprList An implementation of the JokerExprList and Joker interface.
class	ProverJokerName An implementation of the JokerName and Joker interface.
class	ProverJokerNameList An implementation of the JokerNameList and Joker interface.
class	ProverJokerPred An implementation of the JokerPred and Joker interface.
class	ProverJokerRenameList An implementation of the JokerRenameList and Joker interface.
class	ProverJokerStroke An implementation of the JokerStroke and Joker interface.

Uses of Joker in net.sourceforge.czt.rules.prover

Methods in net.sourceforge.czt.rules.prover that return types with arguments of type Joker

Modifier and Type	Method and Description
static List<Joker>	ProverUtils.collectJokers(net.sourceforge.czt.base.ast.Term term)

Uses of Joker in net.sourceforge.czt.rules.unification

Methods in net.sourceforge.czt.rules.unification with parameters of type Joker

Modifier and Type	Method and Description
boolean	OccursCheckVisitor.contains(net.sourceforge.czt.base.ast.Term term, Joker joker) True iff term contains joker.