public class InterpretationPrintingPolicy extends Object
Modifier and Type | Field and Description |
---|---|
static String |
DERIVATION_TREE_KEY |
Constructor and Description |
---|
InterpretationPrintingPolicy(List<Pair<String,OutputCodec>> interpretationToCodec,
Algebra algebraForDerivationTree) |
Modifier and Type | Method and Description |
---|---|
static InterpretationPrintingPolicy |
create(Algebra algebraForDerivationTree,
Object... args) |
static InterpretationPrintingPolicy |
fromIrtg(InterpretedTreeAutomaton irtg) |
List<Pair<String,OutputCodec>> |
get() |
Algebra |
getAlgebraForDerivationTree() |
static boolean |
isDeriv(Pair<String,Algebra> pair) |
public static final String DERIVATION_TREE_KEY
public InterpretationPrintingPolicy(List<Pair<String,OutputCodec>> interpretationToCodec, Algebra algebraForDerivationTree)
public List<Pair<String,OutputCodec>> get()
public Algebra getAlgebraForDerivationTree()
public static InterpretationPrintingPolicy fromIrtg(InterpretedTreeAutomaton irtg)
public static InterpretationPrintingPolicy create(Algebra algebraForDerivationTree, Object... args)
Copyright © 2017. All rights reserved.