TemplateInterpretedTreeAutomaton.AtomicGuard (alto 2.2-SNAPSHOT API)

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

Constructors
Constructor and Description
`AtomicGuard(String predicate, List<String> arguments)`

All Methods Instance Methods Concrete Methods
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

public AtomicGuard(String predicate,
                   List<String> arguments)

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

Specified by:: isSatisfiedBy in interface TemplateInterpretedTreeAutomaton.Guard

Class TemplateInterpretedTreeAutomaton.AtomicGuard