Sign in
eclipse
/
viatra
/
org.eclipse.viatra2.vpm
/
4746e4bd4666adc193b9efe42c55899e449f5034
/
.
/
org.eclipse.viatra2.gtasm.patternmatcher.impl
/
src
/
org
/
eclipse
/
viatra2
/
gtasm
/
patternmatcher
/
impl
/
patternmatcher
/
term
tree: 5a9cc08337d762501d0648fb6c60f889e6c08500 [
path history
]
[
tgz
]
AbstractTermCheckOperation.java
BasicTermHandler.java
ITermHandler.java
TermCheckExecutionEnvironment.java
TermHandler.java