public static final class WellDefinednessCheck.POTerms
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Term |
mod |
WellDefinednessCheck.Condition |
post |
WellDefinednessCheck.Condition |
pre |
ImmutableList<Term> |
rest |
Constructor and Description |
---|
POTerms(WellDefinednessCheck.Condition pre,
Term mod,
ImmutableList<Term> rest,
WellDefinednessCheck.Condition post) |
public final WellDefinednessCheck.Condition pre
public final Term mod
public final ImmutableList<Term> rest
public final WellDefinednessCheck.Condition post
POTerms(WellDefinednessCheck.Condition pre, Term mod, ImmutableList<Term> rest, WellDefinednessCheck.Condition post)