Uses of Package
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

Packages that use edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations
edu.upc.fib.inlab.imp.kse.logics.logicschema.services
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations used by edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class	Description
Substitution	This class represents a substitution of variables to terms.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations used by edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

Class	Description
Substitution	This class represents a substitution of variables to terms.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services

Class	Description
Substitution	This class represents a substitution of variables to terms.

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Class	Description
Substitution	This class represents a substitution of variables to terms.