public static class EqualityInference.Builder extends Object
| Constructor and Description |
|---|
Builder() |
| Modifier and Type | Method and Description |
|---|---|
EqualityInference.Builder |
addAllEqualities(Iterable<Expression> expressions) |
EqualityInference.Builder |
addEquality(Expression expression) |
EqualityInference.Builder |
addEquality(Expression expression1,
Expression expression2) |
EqualityInference |
build() |
EqualityInference.Builder |
extractInferenceCandidates(Expression expression) |
public EqualityInference.Builder extractInferenceCandidates(Expression expression)
public EqualityInference.Builder addAllEqualities(Iterable<Expression> expressions)
public EqualityInference.Builder addEquality(Expression expression)
public EqualityInference.Builder addEquality(Expression expression1, Expression expression2)
public EqualityInference build()
Copyright © 2012–2019. All rights reserved.