public class Operators extends Object
| Constructor and Description |
|---|
Operators()
Creates a new Operators object with the default set of operators.
|
| Modifier and Type | Method and Description |
|---|---|
Operator |
getOperator(String operatorName)
Returns the operator for the given operator name.
|
Copyright © 2015–2021 The veraPDF Consortium. All rights reserved.