public abstract static class SubstitutionVisitor.Operand extends Object
SubstitutionVisitor.UnifyRule.| Modifier and Type | Field and Description |
|---|---|
protected Class<? extends MutableRel> |
clazz |
| Modifier | Constructor and Description |
|---|---|
protected |
Operand(Class<? extends MutableRel> clazz) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isWeaker(SubstitutionVisitor visitor,
MutableRel rel) |
abstract boolean |
matches(SubstitutionVisitor visitor,
MutableRel rel) |
protected final Class<? extends MutableRel> clazz
protected Operand(Class<? extends MutableRel> clazz)
public abstract boolean matches(SubstitutionVisitor visitor, MutableRel rel)
public boolean isWeaker(SubstitutionVisitor visitor, MutableRel rel)
Copyright © 2012-2022 Apache Software Foundation. All Rights Reserved.