| |
|
| java.lang.Object org.mandarax.reference.VariableRenaming
VariableRenaming | final public class VariableRenaming (Code) | | Utility to clone facts and to rename variables.
The renaming can be retrieved using getRenamings() .
author: Jens Dietrich version: 3.4 <7 March 05> since: 1.0 since: Prova re-integration modifications author: Alex Kozlenkov version: 3.4 <7 March 05> |
GENERATED_VAR_PREFIX | public static String GENERATED_VAR_PREFIX(Code) | | |
cloneAndRenameVars | public Clause cloneAndRenameVars(Clause original)(Code) | | Clone a clause and rename all variables.
the cloned clause Parameters: original - the original clause |
cloneAndRenameVars | public Fact cloneAndRenameVars(Fact original)(Code) | | Clone a fact and rename all variables.
the cloned fact Parameters: original - the original factProva: "extra" should be cloned as well. |
getAllRenamings | public Hashtable getAllRenamings()(Code) | | Get all renamings made.
a hashtable containing renamings (term -> term associations) |
getRecentRenamings | public Hashtable getRecentRenamings()(Code) | | Get the recent renamings.
a hashtable containing renamings (term -> term associations) |
|
|
|