TemplateInterpretedTreeAutomaton.ConjGuard (alto 2.2-SNAPSHOT API)

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

Constructors
Constructor and Description
`ConjGuard(List<TemplateInterpretedTreeAutomaton.Guard> subguards)`
`ConjGuard(TemplateInterpretedTreeAutomaton.Guard s1, TemplateInterpretedTreeAutomaton.Guard s2)`

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 ConjGuard(List<TemplateInterpretedTreeAutomaton.Guard> subguards)

public ConjGuard(TemplateInterpretedTreeAutomaton.Guard s1,
                 TemplateInterpretedTreeAutomaton.Guard s2)

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

Specified by:: isSatisfiedBy in interface TemplateInterpretedTreeAutomaton.Guard

Class TemplateInterpretedTreeAutomaton.ConjGuard