public class Operation
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Operation.OperationType |
Modifier and Type | Field and Description |
---|---|
Term |
a |
Term |
b |
Operation.OperationType |
type |
Constructor and Description |
---|
Operation(Term a) |
Operation(Term a,
Operation.OperationType type,
Term b) |
Modifier and Type | Method and Description |
---|---|
boolean |
isUnary() |
java.lang.String |
toString() |
public final Operation.OperationType type
public final Term a
public final Term b
public Operation(Term a)
public Operation(Term a, Operation.OperationType type, Term b)
Copyright © 2016 The Apache Software Foundation