com.articulate.sigma

Class FormulaUtil

java.lang.Object

com.articulate.sigma.FormulaUtil

public class FormulaUtil
extends java.lang.Object

Created by sserban on 2/17/15.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FormulaUtil.FormulaMatchMemoMapKey

Constructor Summary

Constructors

Constructor and Description
FormulaUtil()

Method Summary

Modifier and Type	Method and Description
static FormulaUtil.FormulaMatchMemoMapKey	createFormulaMatchMemoMapKey(java.lang.String s1, java.lang.String s2) Factory method for the memo map
static java.util.List<int[]>	getPermutations(int size, java.util.function.BiPredicate<java.lang.Integer,java.lang.Integer> validateFn) Generates all permutations of the given size which are valid according to the given callback function.
static java.lang.String	toProlog(Formula f) Must check that this is a simple clause before calling!

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaUtil

public FormulaUtil()

Method Detail

toProlog

public static java.lang.String toProlog(Formula f)

Must check that this is a simple clause before calling!

getPermutations

public static java.util.List<int[]> getPermutations(int size,
                                                    java.util.function.BiPredicate<java.lang.Integer,java.lang.Integer> validateFn)

Generates all permutations of the given size which are valid according to the given callback function.

Parameters:

size -

validateFn -

Returns:

createFormulaMatchMemoMapKey

public static FormulaUtil.FormulaMatchMemoMapKey createFormulaMatchMemoMapKey(java.lang.String s1,
                                                                              java.lang.String s2)

Factory method for the memo map

Parameters:

s1 -

s2 -

Returns: