Uses of Class
de.up.ling.irtg.util.FirstOrderModel

Packages that use FirstOrderModel

Package	Description
de.up.ling.irtg	This package contains the core classes for Alto, which represent Interpreted Regular tree grammars.
de.up.ling.irtg.util	Various utilities.

Uses of FirstOrderModel in de.up.ling.irtg

Methods in de.up.ling.irtg with parameters of type FirstOrderModel

Modifier and Type	Method and Description
InterpretedTreeAutomaton	TemplateInterpretedTreeAutomaton.instantiate(FirstOrderModel model) Instantiates this template IRTG into a concrete IRTG.
boolean	TemplateInterpretedTreeAutomaton.Guard.isSatisfiedBy(Map<String,String> variableAssignment, FirstOrderModel model)
boolean	TemplateInterpretedTreeAutomaton.AtomicGuard.isSatisfiedBy(Map<String,String> variableAssignment, FirstOrderModel model)
boolean	TemplateInterpretedTreeAutomaton.ConjGuard.isSatisfiedBy(Map<String,String> variableAssignment, FirstOrderModel model)
boolean	TemplateInterpretedTreeAutomaton.TopGuard.isSatisfiedBy(Map<String,String> variableAssignment, FirstOrderModel model)

Uses of FirstOrderModel in de.up.ling.irtg.util

Methods in de.up.ling.irtg.util that return FirstOrderModel

Modifier and Type	Method and Description
static FirstOrderModel	FirstOrderModel.read(Reader optionReader) Reads the options from a Json string representation.