de.up.ling.irtg

Interface TemplateInterpretedTreeAutomaton.Guard

All Known Implementing Classes:

TemplateInterpretedTreeAutomaton.AtomicGuard, TemplateInterpretedTreeAutomaton.ConjGuard, TemplateInterpretedTreeAutomaton.TopGuard

Enclosing class:

TemplateInterpretedTreeAutomaton

public static interface TemplateInterpretedTreeAutomaton.Guard

Method Summary

Modifier and Type	Method and Description
boolean	isSatisfiedBy(Map<String,String> variableAssignment, FirstOrderModel model)

Method Detail

isSatisfiedBy

boolean isSatisfiedBy(Map<String,String> variableAssignment,
                      FirstOrderModel model)