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 |
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 © 2013 The Apache Software Foundation