org.evosuite.symbolic.solver.cvc4

Class RegExpToCVC4Visitor

java.lang.Object

dk.brics.automaton.RegExpVisitor<SmtExpr>

org.evosuite.symbolic.solver.cvc4.RegExpToCVC4Visitor

public final class RegExpToCVC4Visitor
extends RegExpVisitor<SmtExpr>

Constructor Summary

Constructors

Constructor and Description
RegExpToCVC4Visitor()

Method Summary

Modifier and Type	Method and Description
SmtExpr	visitAnyChar()
SmtExpr	visitAnyString()
SmtExpr	visitAutomaton(dk.brics.automaton.RegExp e)
SmtExpr	visitChar(char c)
SmtExpr	visitCharRange(char from, char to)
SmtExpr	visitComplement(dk.brics.automaton.RegExp e)
SmtExpr	visitConcatenation(dk.brics.automaton.RegExp left, dk.brics.automaton.RegExp right)
SmtExpr	visitEmpty()
SmtExpr	visitIntersection(dk.brics.automaton.RegExp left, dk.brics.automaton.RegExp right)
SmtExpr	visitInterval(int min, int max)
SmtExpr	visitOptional(dk.brics.automaton.RegExp e)
SmtExpr	visitRepeat(dk.brics.automaton.RegExp arg)
SmtExpr	visitRepeatMin(dk.brics.automaton.RegExp e, int min)
SmtExpr	visitRepeatMinMax(dk.brics.automaton.RegExp e, int min, int max)
SmtExpr	visitString(String s)
SmtExpr	visitUnion(dk.brics.automaton.RegExp left, dk.brics.automaton.RegExp right)

Methods inherited from class dk.brics.automaton.RegExpVisitor

visitRegExp

Methods inherited from class java.lang.Object

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

Constructor Detail

RegExpToCVC4Visitor

public RegExpToCVC4Visitor()

Method Detail

visitUnion

public SmtExpr visitUnion(dk.brics.automaton.RegExp left,
                          dk.brics.automaton.RegExp right)

Specified by:

visitUnion in class RegExpVisitor<SmtExpr>

visitString

public SmtExpr visitString(String s)

Specified by:

visitString in class RegExpVisitor<SmtExpr>

visitRepeatMinMax

public SmtExpr visitRepeatMinMax(dk.brics.automaton.RegExp e,
                                 int min,
                                 int max)

Specified by:

visitRepeatMinMax in class RegExpVisitor<SmtExpr>

visitRepeatMin

public SmtExpr visitRepeatMin(dk.brics.automaton.RegExp e,
                              int min)

Specified by:

visitRepeatMin in class RegExpVisitor<SmtExpr>

visitRepeat

public SmtExpr visitRepeat(dk.brics.automaton.RegExp arg)

Specified by:

visitRepeat in class RegExpVisitor<SmtExpr>

visitOptional

public SmtExpr visitOptional(dk.brics.automaton.RegExp e)

Specified by:

visitOptional in class RegExpVisitor<SmtExpr>

visitConcatenation

public SmtExpr visitConcatenation(dk.brics.automaton.RegExp left,
                                  dk.brics.automaton.RegExp right)

Specified by:

visitConcatenation in class RegExpVisitor<SmtExpr>

visitCharRange

public SmtExpr visitCharRange(char from,
                              char to)

Specified by:

visitCharRange in class RegExpVisitor<SmtExpr>

visitChar

public SmtExpr visitChar(char c)

Specified by:

visitChar in class RegExpVisitor<SmtExpr>

visitAnyChar

public SmtExpr visitAnyChar()

Specified by:

visitAnyChar in class RegExpVisitor<SmtExpr>

visitInterval

public SmtExpr visitInterval(int min,
                             int max)

Specified by:

visitInterval in class RegExpVisitor<SmtExpr>

visitIntersection

public SmtExpr visitIntersection(dk.brics.automaton.RegExp left,
                                 dk.brics.automaton.RegExp right)

Specified by:

visitIntersection in class RegExpVisitor<SmtExpr>

visitAutomaton

public SmtExpr visitAutomaton(dk.brics.automaton.RegExp e)

Specified by:

visitAutomaton in class RegExpVisitor<SmtExpr>

visitComplement

public SmtExpr visitComplement(dk.brics.automaton.RegExp e)

Specified by:

visitComplement in class RegExpVisitor<SmtExpr>

visitEmpty

public SmtExpr visitEmpty()

Specified by:

visitEmpty in class RegExpVisitor<SmtExpr>

visitAnyString

public SmtExpr visitAnyString()

Specified by:

visitAnyString in class RegExpVisitor<SmtExpr>