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

package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

Related Packages

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Classes

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