Package tools.refinery.logic.term.string

Class StringTerms

java.lang.Object

tools.refinery.logic.term.string.StringTerms

public class StringTerms
extends Object

Method Summary

Modifier and Type	Method	Description
static Term<StringValue>	add(Term<StringValue> left, Term<StringValue> right)
static Term<StringValue>	constant(StringValue value)

Methods inherited from class java.lang.Object

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

Method Details

constant

public static Term<StringValue> constant(StringValue value)

add

public static Term<StringValue> add(Term<StringValue> left,
 Term<StringValue> right)