public static class ClosureInfo.TemplDetectRes
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
VarHyp[] |
hypToVarHypMap |
PropertyTemplate |
template |
Constructor and Description |
---|
TemplDetectRes(VarHyp[] hypToVarHypMap,
PropertyTemplate template) |
public final VarHyp[] hypToVarHypMap
public final PropertyTemplate template
public TemplDetectRes(VarHyp[] hypToVarHypMap, PropertyTemplate template)