de.up.ling.irtg

Class TemplateInterpretedTreeAutomaton.TopGuard

java.lang.Object

de.up.ling.irtg.TemplateInterpretedTreeAutomaton.TopGuard

All Implemented Interfaces:

TemplateInterpretedTreeAutomaton.Guard

Enclosing class:

TemplateInterpretedTreeAutomaton

public static class TemplateInterpretedTreeAutomaton.TopGuard
extends Object
implements TemplateInterpretedTreeAutomaton.Guard

Constructor Summary

Constructors

Constructor and Description
TopGuard()

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TopGuard

public TopGuard()

Method Detail

isSatisfiedBy

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

Specified by:

isSatisfiedBy in interface TemplateInterpretedTreeAutomaton.Guard

toString

public String toString()

Overrides:

toString in class Object