Package it.unive.lisa.util.datastructures.regex.symbolic

Class UnknownSymbolicChar

java.lang.Object

it.unive.lisa.util.datastructures.regex.symbolic.SymbolicChar

it.unive.lisa.util.datastructures.regex.symbolic.UnknownSymbolicChar

public class UnknownSymbolicChar
extends SymbolicChar

An SymbolicChar representing an unknown character.

Field Summary

Fields

Modifier and Type	Field	Description
static UnknownSymbolicChar	INSTANCE	The singleton instance.

Method Summary

Modifier and Type	Method	Description
boolean	is(char ch)	Yields true if and only if this symbolic character represent the given concrete one.

Methods inherited from class it.unive.lisa.util.datastructures.regex.symbolic.SymbolicChar

asChar, equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final UnknownSymbolicChar INSTANCE

The singleton instance.

Method Detail

is

public boolean is(char ch)

Description copied from class: SymbolicChar

Yields true if and only if this symbolic character represent the given concrete one.

Overrides:

is in class SymbolicChar

Parameters:

ch - the character

Returns:

true if that condition holds