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