public class DynamicCollectorOfTripleConstraints extends Object
Constructor and Description |
---|
DynamicCollectorOfTripleConstraints() |
Modifier and Type | Method and Description |
---|---|
List<TripleConstraint> |
getTCs(TripleExpr texpr) |
public List<TripleConstraint> getTCs(TripleExpr texpr)
Copyright © 2019. All rights reserved.