C# 클래스 Microsoft.Automata.Z3.Internal.Escaper

파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 메소드들

메소드 설명
Escape ( char c ) : string

Make an escaped string from a character
Escape ( string s ) : string

Make an escaped string from a string
EscapeHex ( int n ) : string

비공개 메소드들

메소드 설명
ToUnicodeRepr ( int i ) : string

메소드 상세

Escape() 공개 정적인 메소드

Make an escaped string from a character
public static Escape ( char c ) : string
c char
리턴 string

Escape() 공개 정적인 메소드

Make an escaped string from a string
public static Escape ( string s ) : string
s string
리턴 string

EscapeHex() 공개 정적인 메소드

public static EscapeHex ( int n ) : string
n int
리턴 string