Package astra.reasoner.util

Class Utilities

java.lang.Object

astra.reasoner.util.Utilities

public class Utilities
extends Object

Constructor Summary

Constructors

Constructor	Description
Utilities()

Method Summary

Modifier and Type	Method	Description
static Map<Integer,Term>	filter(Map<Integer,Term> source, Set<Variable> variables)
static Map<Integer,Term>	merge(Map<Integer,Term> mapA, Map<Integer,Term> mapB)
static Map<Integer,Term>	mgu(Map<Integer,Term> source)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Utilities

public Utilities()

Method Details

merge

public static Map<Integer,Term> merge(Map<Integer,Term> mapA, Map<Integer,Term> mapB)

filter

public static Map<Integer,Term> filter(Map<Integer,Term> source, Set<Variable> variables)

mgu

public static Map<Integer,Term> mgu(Map<Integer,Term> source)