eu.bandm.tools.ops

Class Pattern.Atomic<A>

java.lang.Object

eu.bandm.tools.ops.Pattern<A>

eu.bandm.tools.ops.Pattern.Contravariant<A>

eu.bandm.tools.ops.Pattern.Atomic<A>

Enclosing class:

Pattern<A>

public abstract static class Pattern.Atomic<A>
extends Pattern.Contravariant<A>

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ops.Pattern

Pattern.Atomic<A>, Pattern.Binary<A,B,C>, Pattern.Contravariant<A>, Pattern.Proxy, Pattern.Transform<A,B>, Pattern.Unary<A,B>, Pattern.Variable<A>

Field Summary

Fields inherited from class eu.bandm.tools.ops.Pattern

any, none, p_null

Constructor Summary

Constructors

Constructor and Description
Atomic()

Method Summary

Modifier and Type	Method and Description
boolean	bindsVariable(Pattern.Variable v)
boolean	disturbsVariable(Pattern.Variable v)
boolean	isDeterministic()
boolean	savesVariable(Pattern.Variable v)

Methods inherited from class eu.bandm.tools.ops.Pattern.Contravariant

narrow

Methods inherited from class eu.bandm.tools.ops.Pattern

and, any, both, clear, cut, either, eq, first, forInstancesOf, limit, match, matchAgain, matchOnce, none, or, p_null, somewhere, transform, uniquely, variable, variable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Atomic

public Atomic()

Method Detail

bindsVariable

public boolean bindsVariable(Pattern.Variable v)

Specified by:

bindsVariable in class Pattern<A>

disturbsVariable

public boolean disturbsVariable(Pattern.Variable v)

Specified by:

disturbsVariable in class Pattern<A>

savesVariable

public boolean savesVariable(Pattern.Variable v)

Specified by:

savesVariable in class Pattern<A>

isDeterministic

public boolean isDeterministic()

Specified by:

isDeterministic in class Pattern<A>