Searched refs:sign (Results 1 - 3 of 3) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java19 private static Set<OWLEntity> sign; field in class:LocalityChecker
64 boolean l = eval.isLocal(elem, sign);
83 Iterator<OWLEntity> itE = sign.iterator();
101 sign = signOnto.getSignature();
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex124 arguments, and a communication alphabet (starting with a colon sign).
/hets/doc/
H A DUserGuide.tex1506 sign must be omitted, too.
1991 class Logic lid sign morphism sentence basic_spec symbol_map
1992 | lid -> sign morphism sentence basic_spec symbol_map where
1993 identity :: lid -> sign -> morphism
1995 dom, codom :: lid -> morphism -> sign
1999 empty_signature :: lid -> sign
2000 basic_analysis :: lid -> sign -> basic_spec -> (sign, [sentence])
2001 stat_symbol_map :: lid -> sign -> symbol_map -> morphism
2004 lid -> [(sign, [sentenc
[all...]

Completed in 15 milliseconds