Module dev.civl.sarl

Package dev.civl.sarl.herbrand.IF

Class Herbrand

java.lang.Object

dev.civl.sarl.herbrand.IF.Herbrand

public class Herbrand
extends Object

Constructor Summary

Constructors

Constructor	Description
Herbrand()

Method Summary

Modifier and Type	Method	Description
static NumericExpressionFactory	newHerbrandFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)

Methods inherited from class java.lang.Object

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

Constructor Details

Herbrand

public Herbrand()

Method Details

newHerbrandFactory

public static NumericExpressionFactory newHerbrandFactory(NumberFactory numberFactory,
 ObjectFactory objectFactory,
 SymbolicTypeFactory typeFactory,
 BooleanExpressionFactory booleanFactory)